aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-04-28Keep ChangeLog gzipped. Small saving on repo size.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-28Note about conflict in mergingDavid Aspinall
2000-04-28Added note about 3.1.4 patch, merged from 3.1 branchDavid Aspinall
2000-04-28Notes about using cvs and branch.David Aspinall
2000-04-28Added warning about releasing from old branch.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-25isar-indent regexps moved to isar-syntax.el;Makarius Wenzel
2000-04-25removed unused isar-ids;Makarius Wenzel
2000-04-25removed "simpset" minor keyword;Makarius Wenzel
2000-04-2520.X -> recent, since XEmacs now on 21.David Aspinall
2000-04-25Fix %r modifier in proof-format-filename.David Aspinall
2000-04-25Revert to indended fix for isa-retract-thy-file.David Aspinall
2000-04-25Note about efficiency/bug fix by Markus.David Aspinall
2000-04-17fixed isa-retract-thy-file: pass theory name only;Makarius Wenzel
2000-04-17added 'hide';Makarius Wenzel
2000-04-15proof-segment-up-to: no longer poke around in make-string buffer (nowMakarius Wenzel
2000-04-12fixed proof-mode-for-goals;Makarius Wenzel
2000-04-07Fix version.David Aspinall
2000-04-07Change order in release to make ChangeLog be updated before dist built.David Aspinall
2000-04-07mode-for-pbp -> mode-for-goalsDavid Aspinall
2000-04-07Set version tag for new release.David Aspinall
2000-04-07Comment.David Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07More generic message to avoid confusion with Coq searching.David Aspinall
2000-04-07Generalisation of proof-info-command to string or fn.David Aspinall
2000-04-07Moved from wrong place.David Aspinall
2000-04-07Removed this.David Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Comments. pbp-mode -> goals-modeDavid Aspinall
2000-04-07Tweak to disable_pr function to allow for it being called twice (why?).David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Decoration tweaksDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07More decorationDavid Aspinall
2000-04-07goals-mode -> pbp-modeDavid Aspinall
2000-04-07Extra decoration.David Aspinall
2000-04-07Updates for 3.2. Added documentation of silent settings.David Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-06tuned \<bottom>;Makarius Wenzel
2000-04-05tuned todo stuff;Makarius Wenzel
2000-04-05improved print_mode switch;Makarius Wenzel
2000-04-05'welcome' made diagnostic;Makarius Wenzel
2000-04-05eliminated 'as' keyword;Makarius Wenzel
2000-04-04added 'print_claset', 'print_simpset';Makarius Wenzel
2000-04-04Added provisional commands for enabling/disabling printing.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04UpdatedDavid Aspinall
2000-04-04Save as Example.ML, except using X-Symbol input tokens.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-25 08:00:45 +0000