Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Clarify that it is right to query saves in proof-retract-until-point's call | David Aspinall | 2004-04-17 |
| | | | | of proof-activate-scripting. | ||
* | Updated. | David Aspinall | 2004-04-17 |
| | |||
* | Comments. | David Aspinall | 2004-04-17 |
| | |||
* | Fix isa-tool-list-docs for altered form of output from isatool doc | David Aspinall | 2004-04-17 |
| | |||
* | Update magic | David Aspinall | 2004-04-17 |
| | |||
* | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall | 2004-04-17 |
| | |||
* | Numerous updates and improvements: | David Aspinall | 2004-04-17 |
| | | | | | | | | | - Walkthrough changed from LEGO to Isabelle/Isar - Documentation of new shortcuts in Isar - Documentation of Isabelle's Settings/Logics choice - Documentation of PG Shell - Date updates, version updates - Personnel updates | ||
* | Add shortcuts for new X-Symbol sequences. | David Aspinall | 2004-04-17 |
| | |||
* | Oops, remove junk. | David Aspinall | 2004-04-17 |
| | |||
* | Escape the string from substitute-command-keys in proof-defshortcut, ↵ | David Aspinall | 2004-04-17 |
| | | | | proof-definvisible. | ||
* | Comments. | David Aspinall | 2004-04-17 |
| | |||
* | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵ | David Aspinall | 2004-04-17 |
| | | | | for Isabelle. | ||
* | Updated. | David Aspinall | 2004-04-17 |
| | |||
* | Clear the stuff to do before 3.5 | David Aspinall | 2004-04-17 |
| | |||
* | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵ | David Aspinall | 2004-04-17 |
| | | | | for Isabelle. | ||
* | imenu todo | David Aspinall | 2004-04-17 |
| | |||
* | Capitalization. | David Aspinall | 2004-04-17 |
| | |||
* | Mention supported Emacs versions | David Aspinall | 2004-04-17 |
| | |||
* | Lighter background colour for proof-error-face | David Aspinall | 2004-04-17 |
| | |||
* | Note about font-lock problem in XE 21.4.x x<11 | David Aspinall | 2004-04-17 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵ | David Aspinall | 2004-04-16 |
| | | | | compatibility. | ||
* | New files. | David Aspinall | 2004-04-16 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | Fix my email addr. | David Aspinall | 2004-04-16 |
| | |||
* | Use own name instead of hiding behind mythical PG team | David Aspinall | 2004-04-16 |
| | |||
* | Spurious "'s | David Aspinall | 2004-04-16 |
| | |||
* | Moved handling of mixed undo into the CCC, so there is now just one undo() cmd. | cxl | 2004-04-16 |
| | |||
* | fix typo in isar-long-id-stuff | Gerwin Klein | 2004-04-16 |
| | |||
* | fix typo in isar-long-id-stuff | Gerwin Klein | 2004-04-16 |
| | |||
* | ccc-count-undos: declare str (doesnae fix bug though) | David Aspinall | 2004-04-16 |
| | |||
* | little fix for x-symbols coq. | Pierre Courtieu | 2004-04-16 |
| | |||
* | Add FAQ about .elcs failing in GNU Emacs. | David Aspinall | 2004-04-16 |
| | |||
* | modified the noteq token (become '<>' ). | Pierre Courtieu | 2004-04-16 |
| | |||
* | Fix URL | David Aspinall | 2004-04-16 |
| | |||
* | Oops, another stray old URL... | David Aspinall | 2004-04-16 |
| | |||
* | added an example fils for coq x-symbols. | Pierre Courtieu | 2004-04-16 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | *** empty log message *** | Christophe Raffalli | 2004-04-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 2004-04-16 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | New files. | David Aspinall | 2004-04-16 |
| | |||
* | New files. | David Aspinall | 2004-04-16 |
| | |||
* | New files. | David Aspinall | 2004-04-16 |
| | |||
* | New file | David Aspinall | 2004-04-16 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | Updated. | David Aspinall | 2004-04-16 |
| | |||
* | Document Imenu/Speedbar. Update contributors. | David Aspinall | 2004-04-16 |
| | |||
* | Explain how to configure Imenu. | David Aspinall | 2004-04-16 |
| | |||
* | Add automatic refresh of Logics menu | David Aspinall | 2004-04-16 |
| |