| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-07-13 | Set version tag for new release. | David Aspinall | |
| 2000-07-13 | Add Isabelle interface scripts to RPM | David Aspinall | |
| 2000-07-12 | Set version tag for new release. | David Aspinall | |
| 2000-07-12 | Updated | David Aspinall | |
| 2000-07-12 | Minor updates | David Aspinall | |
| 2000-07-12 | Update autoloads. | David Aspinall | |
| 2000-07-12 | Make proof-splash-message autoload. | David Aspinall | |
| 2000-07-08 | isabelle-command-line: try to be smart in ensuring proper Isabelle | Makarius Wenzel | |
| command line, avoiding nil under all circumstances; | |||
| 2000-07-08 | proof-prog-name: use isabelle-command-line; | Makarius Wenzel | |
| removed misc junk; | |||
| 2000-07-08 | proof-prog-name: use isabelle-command-line; | Makarius Wenzel | |
| 2000-07-08 | do not change isabelle-prog-name here; | Makarius Wenzel | |
| be less aggressive in changing x-symbol-enable; | |||
| 2000-07-06 | tuned help-menu-entries; | Makarius Wenzel | |
| 2000-07-05 | Set version tag for new release. | David Aspinall | |
| 2000-07-05 | Updated | David Aspinall | |
| 2000-07-05 | Fix to make back() undoable. | David Aspinall | |
| 2000-07-04 | Set version tag for new release. | David Aspinall | |
| 2000-07-04 | CVS web script | David Aspinall | |
| 2000-07-04 | Changes for CVS web style fixup | David Aspinall | |
| 2000-07-04 | Ignore file for xvpics put there by gimp | David Aspinall | |
| 2000-07-03 | Set version tag for new release. | David Aspinall | |
| 2000-07-03 | Note about trapping errors | David Aspinall | |
| 2000-07-03 | Updated | David Aspinall | |
| 2000-07-03 | quick-and-dirty t by default; | Makarius Wenzel | |
| 2000-07-03 | Patch to cope gracefully with empty list of Isabelle documents. | David Aspinall | |
| 2000-07-01 | activate global-timing; | Makarius Wenzel | |
| 2000-07-01 | improved help menu; | Makarius Wenzel | |
| replaced "help" by "welcome"; | |||
| 2000-07-01 | removed 'help'; | Makarius Wenzel | |
| added 'print_antiquotations', 'print_commands', 'print_trans_rules'; | |||
| 2000-07-01 | tuned docs menu; | Makarius Wenzel | |
| 2000-06-30 | added method_setup; | Makarius Wenzel | |
| 2000-06-29 | Set version tag for new release. | David Aspinall | |
| 2000-06-29 | Added quick-and-dirty setting -- we can still argue about the default, 8-) | David Aspinall | |
| 2000-06-27 | Set version tag for new release. | David Aspinall | |
| 2000-06-27 | Minor tweak. | David Aspinall | |
| 2000-06-27 | Updated | David Aspinall | |
| 2000-06-27 | Note about typing in shell buffer | David Aspinall | |
| 2000-06-27 | Tidy | David Aspinall | |
| 2000-06-27 | Added tag to force Isar mode | David Aspinall | |
| 2000-06-26 | Fix mark buffer atomic problem (caused multiple file oddity with Isar), for ↵ | David Aspinall | |
| new parsing functions. | |||
| 2000-06-22 | Set version tag for new release. | David Aspinall | |
| 2000-06-22 | Added missing proof. | David Aspinall | |
| 2000-06-22 | Extra note. | David Aspinall | |
| 2000-06-22 | XEmacs only note | David Aspinall | |
| 2000-06-22 | Rearranged, more info about X-Sym probs | David Aspinall | |
| 2000-06-22 | Remove modeline from extra frames (in XEmacs). | David Aspinall | |
| 2000-06-22 | Added back defconsts for face names needed for FSF Emacs. | David Aspinall | |
| Yet another annoyance with FSF. | |||
| 2000-06-22 | somme little changes to make undo work better | Pierre Courtieu | |
| 2000-06-19 | Set version tag for new release. | David Aspinall | |
| 2000-06-19 | Fix typo causing missing proof-shell-pre-interrupt-hook. | David Aspinall | |
| 2000-06-19 | Fix typo | David Aspinall | |
| 2000-06-19 | Updated list of helpers. Typo | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |