aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* handle comment inside a command (patch by da);Gravatar Makarius Wenzel2000-08-03
* x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesGravatar Makarius Wenzel2000-08-02
* tuned;Gravatar Makarius Wenzel2000-08-02
* added isa-preprocessing;Gravatar Makarius Wenzel2000-08-02
* fixed isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-07-29
* added "thm_deps", "overloaded";Gravatar Makarius Wenzel2000-07-29
* updated;Gravatar Makarius Wenzel2000-07-26
* use proof-assistant-table instead of proof-assistants;Gravatar Makarius Wenzel2000-07-26
* Set version tag for new release.Gravatar David Aspinall2000-07-26
* Suggestion from DvO addedGravatar David Aspinall2000-07-26
* Note about need to test..Gravatar David Aspinall2000-07-20
* proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Gravatar Makarius Wenzel2000-07-20
* fixed comment;Gravatar Makarius Wenzel2000-07-20
* Remove accidental testing setq left in.Gravatar David Aspinall2000-07-20
* Fix dateGravatar David Aspinall2000-07-19
* bug fixing in matching theorem dependenciesGravatar David Aspinall2000-07-19
* functions for manipulating theorem dependenciesGravatar David Aspinall2000-07-19
* experiments with theorem dependenciesGravatar David Aspinall2000-07-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 12:06:21 +0000