aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* changes to add theorem dependencies recording in spansGravatar David Aspinall2000-07-19
* use ML_command to avoid unwanted output;Gravatar Makarius Wenzel2000-07-19
* reverting to last versionGravatar David Aspinall2000-07-19
* file for theorem dependenciesGravatar fionam2000-07-19
* tuned;Gravatar Makarius Wenzel2000-07-17
* Set version tag for new release.Gravatar David Aspinall2000-07-16
* Removed some (hopefully redundant) requires.Gravatar David Aspinall2000-07-16
* Modified, now white paper contains DTDs (soon)Gravatar David Aspinall2000-07-16
* Note that theres nothing there yet.Gravatar David Aspinall2000-07-16
* Set version tag for new release.Gravatar David Aspinall2000-07-13
* Add Isabelle interface scripts to RPMGravatar David Aspinall2000-07-13
* Set version tag for new release.Gravatar David Aspinall2000-07-12
* UpdatedGravatar David Aspinall2000-07-12
* Minor updatesGravatar David Aspinall2000-07-12
* Update autoloads.Gravatar David Aspinall2000-07-12
* Make proof-splash-message autoload.Gravatar David Aspinall2000-07-12
* isabelle-command-line: try to be smart in ensuring proper IsabelleGravatar Makarius Wenzel2000-07-08
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
* do not change isabelle-prog-name here;Gravatar Makarius Wenzel2000-07-08
* tuned help-menu-entries;Gravatar Makarius Wenzel2000-07-06
* Set version tag for new release.Gravatar David Aspinall2000-07-05
* UpdatedGravatar David Aspinall2000-07-05
* Fix to make back() undoable.Gravatar David Aspinall2000-07-05
* Set version tag for new release.Gravatar David Aspinall2000-07-04
* CVS web scriptGravatar David Aspinall2000-07-04
* Changes for CVS web style fixupGravatar David Aspinall2000-07-04
* Ignore file for xvpics put there by gimpGravatar David Aspinall2000-07-04
* Set version tag for new release.Gravatar David Aspinall2000-07-03
* Note about trapping errorsGravatar David Aspinall2000-07-03
* UpdatedGravatar David Aspinall2000-07-03
* quick-and-dirty t by default;Gravatar Makarius Wenzel2000-07-03
* Patch to cope gracefully with empty list of Isabelle documents.Gravatar David Aspinall2000-07-03
* activate global-timing;Gravatar Makarius Wenzel2000-07-01
* improved help menu;Gravatar Makarius Wenzel2000-07-01
* removed 'help';Gravatar Makarius Wenzel2000-07-01
* tuned docs menu;Gravatar Makarius Wenzel2000-07-01
* added method_setup;Gravatar Makarius Wenzel2000-06-30
* Set version tag for new release.Gravatar David Aspinall2000-06-29
* Added quick-and-dirty setting -- we can still argue about the default, 8-)Gravatar David Aspinall2000-06-29
* Set version tag for new release.Gravatar David Aspinall2000-06-27
* Minor tweak.Gravatar David Aspinall2000-06-27
* UpdatedGravatar David Aspinall2000-06-27
* Note about typing in shell bufferGravatar David Aspinall2000-06-27
* TidyGravatar David Aspinall2000-06-27
* Added tag to force Isar modeGravatar David Aspinall2000-06-27
* Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n...Gravatar David Aspinall2000-06-26
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Added missing proof.Gravatar David Aspinall2000-06-22
* Extra note.Gravatar David Aspinall2000-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 10:31:22 +0000