| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-11-26 | Added clear-goals-buffer stuff, asked for response to be left after use_thy. | David Aspinall | |
| 1998-11-25 | Cleaned up, and made use_thy remove ML file from DB properly; | David Aspinall | |
| optimised use_thy to report only on files newly added to db. | |||
| 1998-11-25 | Documentation improvements. | David Aspinall | |
| 1998-11-25 | FSF Emacs fix for buffer-file-truename, which is the | David Aspinall | |
| *abbreviated* form of file-truename! | |||
| 1998-11-25 | Fixed show_context | David Aspinall | |
| 1998-11-25 | Fixes to debug long standing not-showing-first-goal problem. | David Aspinall | |
| 1998-11-25 | Added Isamode-like keybinding C-c C-l for proof-prf. | David Aspinall | |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall | |
| 1998-11-25 | Docstring fixes | David Aspinall | |
| 1998-11-20 | Improvements for multiple files and robustness: keep a copy of | David Aspinall | |
| the initial theory database state, and add a restart command. | |||
| 1998-11-18 | Improvements for multiple files. Now saves state specially for ProofGeneral. | David Aspinall | |
| 1998-11-18 | Added isa-update function. Altered settings. | David Aspinall | |
| 1998-11-18 | Fixed problem with list_loaded_files and update(). | David Aspinall | |
| Now when doing use_thy, we don't do an update. Hopefully "following children are out of date" message will be superfluous because they will be unlocked already. Will be re-read as needed. Added update function. Fixed up implementation of list_parents. | |||
| 1998-11-18 | Added Proof General menu to theory file mode. | David Aspinall | |
| 1998-11-18 | Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral | David Aspinall | |
| 1998-11-18 | Improvements and cleanups: | David Aspinall | |
| . Put functions into ProofGeneral structure . Annotations around ordinary output appear before cr's . Added clear_response_buffer functionw . Added special_theories to avoid looking up filenames of theories which don't have them | |||
| 1998-11-18 | new file to factor out improved theory reader junk. | David Aspinall | |
| 1998-11-12 | Bug in regexp | David Aspinall | |
| 1998-11-12 | In a fit of autocracy, removed proof-tags-support, binding for | David Aspinall | |
| M-tab and appearance of Find Tags in PG menu. The menu entry already appears in Tools->Tags, and users should bind M-tab for themselves. | |||
| 1998-11-12 | Fixed error regexp | David Aspinall | |
| 1998-11-12 | Fixed a regexp. | David Aspinall | |
| 1998-11-12 | Replaced custom-set-variables with customize-set-variable: | David Aspinall | |
| the first one sets the *saved* value for variables, rather than default values. | |||
| 1998-11-10 | Disabled problematic requires temporarily. | David Aspinall | |
| 1998-11-10 | Removed references of proof-shell-noise-regexp | Thomas Kleymann | |
| 1998-11-10 | Fixes for byte compilations and missing bits of Isamode. | David Aspinall | |
| 1998-11-09 | Removed superfluous variable. Improved docstrings. | David Aspinall | |
| 1998-11-06 | Added prefix arg to thy-find-other-file to use same window | David Aspinall | |
| 1998-11-04 | Added key binding to switch between theory and ML files. | David Aspinall | |
| 1998-11-04 | Reimplemented thy-find-other-file | David Aspinall | |
| 1998-11-03 | Disabled annotated prompts because of strange bug. | David Aspinall | |
| 1998-11-03 | More regexp improvements | David Aspinall | |
| 1998-11-03 | Work on improving regular expressions for Isabelle. | David Aspinall | |
| 1998-11-03 | fixed bug with font-lock face names | Thomas Kleymann | |
| 1998-11-02 | Changes suggested by Markus Wenzel | David Aspinall | |
| 1998-11-02 | fixed minor bugs | Thomas Kleymann | |
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 1998-10-29 | Fixes for multiple files. More defcustoms. | David Aspinall | |
| 1998-10-29 | Example theory file | David Aspinall | |
| 1998-10-29 | Crudely hacked Isabelle image onto splash screen. | David Aspinall | |
| 1998-10-29 | Begun work on adding more special annotations for Isabelle. | David Aspinall | |
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall | |
| 1998-10-28 | Improved behaviour of Isabelle multiple files: don't retract parent theory. | David Aspinall | |
| 1998-10-28 | Some experimental code added | David Aspinall | |
| 1998-10-28 | Fixed bug in Isabelle count undos. Now uses undo instead of choplev. | David Aspinall | |
| 1998-10-27 | Mods for cleaner byte compile | David Aspinall | |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | |
| 1998-10-27 | Fixed urgent message stuff. proof-shell-process-urgent-messages | David Aspinall | |
| now seems to correctly observe all messages which pass through. | |||
| 1998-10-27 | Renamed proof-invisible-command proof-shell-invisible-command. | David Aspinall | |
| Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue. | |||
| 1998-10-27 | Work on Isabelle theory reader. | David Aspinall | |
| 1998-10-26 | Fix buglet for when script buffer has no filename. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |