Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Deleted file | David Aspinall | 2006-12-05 |
| | |||
* | Comment. | David Aspinall | 2004-04-13 |
| | |||
* | Fix comment. | David Aspinall | 2004-04-13 |
| | |||
* | Fix long-lived typo in setting auto-mode-alist. | David Aspinall | 2004-04-13 |
| | |||
* | Update email and web addresses | David Aspinall | 2004-02-08 |
| | |||
* | Remove proof-shared-menu. | David Aspinall | 2002-08-08 |
| | |||
* | Move auto-mode-alist hack here now Isar is default. | David Aspinall | 2002-06-24 |
| | |||
* | GPL update | David Aspinall | 2002-06-21 |
| | |||
* | Fix for names of functions in proof-depends | David Aspinall | 2001-08-31 |
| | |||
* | Added Fiona's changes. | David Aspinall | 2000-08-14 |
| | |||
* | Added proof-next-error to menu. | David Aspinall | 2000-06-05 |
| | |||
* | Expanded menu | David Aspinall | 2000-05-05 |
| | |||
* | Added menu item to switch to script buffer, C-c C-o key. | David Aspinall | 2000-03-10 |
| | |||
* | Change SML minor mode binding to C-c C-m, avoiding clash with | David Aspinall | 1999-11-29 |
| | | | | | proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu. | ||
* | Made thy-indent-level a user opt. | David Aspinall | 1999-11-24 |
| | |||
* | More highlighting | David Aspinall | 1999-11-14 |
| | |||
* | More theory file sections | David Aspinall | 1999-11-12 |
| | |||
* | Changed read-no-blanks-input to read-string, former is defunct. | David Aspinall | 1999-01-12 |
| | |||
* | Docstring tweak | David Aspinall | 1998-12-15 |
| | |||
* | Documentation improvements. | David Aspinall | 1998-11-25 |
| | |||
* | Docstring fixes, minor improvements. | David Aspinall | 1998-11-25 |
| | |||
* | Docstring fixes | David Aspinall | 1998-11-25 |
| | |||
* | Added Proof General menu to theory file mode. | David Aspinall | 1998-11-18 |
| | |||
* | Disabled problematic requires temporarily. | David Aspinall | 1998-11-10 |
| | |||
* | Fixes for byte compilations and missing bits of Isamode. | David Aspinall | 1998-11-10 |
| | |||
* | Removed superfluous variable. Improved docstrings. | David Aspinall | 1998-11-09 |
| | |||
* | Added prefix arg to thy-find-other-file to use same window | David Aspinall | 1998-11-06 |
| | |||
* | Reimplemented thy-find-other-file | David Aspinall | 1998-11-04 |
| | |||
* | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | 1998-10-27 |
| | |||
* | Removed Isamode-specific keybindings | David Aspinall | 1998-10-26 |
| | |||
* | Added new theory file sections | David Aspinall | 1998-10-23 |
| | |||
* | Customization for multiple files | David Aspinall | 1998-10-19 |
| | |||
* | Renamed isa-thy-* to thy-* | David Aspinall | 1998-10-07 |