Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 |
| | |||
* | Update date. | David Aspinall | 2000-09-23 |
| | |||
* | Slightly shorter name for info dir entry. | David Aspinall | 2000-09-21 |
| | |||
* | Fix infodir entry, it got broken somehow. | David Aspinall | 2000-09-21 |
| | |||
* | Make PG-adapting first so index.html left pointing to main manual | David Aspinall | 2000-09-21 |
| | |||
* | Improved adding more lisp code chapter. | David Aspinall | 2000-09-21 |
| | |||
* | Encourage use of easy instantiation mechanism. | David Aspinall | 2000-09-14 |
| | |||
* | Moved proof-add-completions to adapting manual | David Aspinall | 2000-09-14 |
| | |||
* | Added doc of completions, several other script settings. Sections in script ↵ | David Aspinall | 2000-09-14 |
| | | | | chapter. | ||
* | Note about creating images for toolbar. | David Aspinall | 2000-09-14 |
| | |||
* | Removed keystroke index. | David Aspinall | 2000-09-13 |
| | |||
* | Remove keystroke index, add appendix with demoisa code (directly included) | David Aspinall | 2000-09-13 |
| | |||
* | Add sections to chapter 2, and text on adjusting toolbar. Update magic | David Aspinall | 2000-09-13 |
| | |||
* | Minor improvements | David Aspinall | 2000-09-13 |
| | |||
* | Updated magic. | David Aspinall | 2000-09-12 |
| | |||
* | Add provide sym-lock to fix sym lock loading problem | David Aspinall | 2000-09-12 |
| | |||
* | More details about parsing functions. Improved intro | David Aspinall | 2000-09-12 |
| | |||
* | Update date. | David Aspinall | 2000-09-12 |
| | |||
* | Customize always available if PG is | David Aspinall | 2000-09-08 |
| | |||
* | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 |
| | |||
* | Fix description of manual now broken into two | David Aspinall | 2000-08-28 |
| | |||
* | Updated magic | David Aspinall | 2000-08-28 |
| | |||
* | Fix recursive make | David Aspinall | 2000-08-28 |
| | |||
* | Missing full stop | David Aspinall | 2000-08-28 |
| | |||
* | Split manual into two parts. | David Aspinall | 2000-08-28 |
| | | | | | | | | | Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible. | ||
* | updated; | Makarius Wenzel | 2000-07-26 |
| | |||
* | use proof-assistant-table instead of proof-assistants; | Makarius Wenzel | 2000-07-26 |
| | |||
* | Minor updates | David Aspinall | 2000-07-12 |
| | |||
* | Updated list of helpers. Typo | David Aspinall | 2000-06-19 |
| | |||
* | Elaborated on where to find example file | David Aspinall | 2000-06-15 |
| | |||
* | Updated magic. | David Aspinall | 2000-06-09 |
| | |||
* | Load a couple more file manually. | David Aspinall | 2000-06-09 |
| | |||
* | completely new indentation setup: faster, easier to configure; | Makarius Wenzel | 2000-06-08 |
| | | | | now enabled by default; | ||
* | Added paragraph and index entry explaining prefix arguments, | David Aspinall | 2000-06-05 |
| | | | | | and some more on keystrokes, for the Emacs-impoverished users. Added doc of proof-display-some-buffers | ||
* | Added proof-comment-{start,end}-regexp. | David Aspinall | 2000-06-01 |
| | | | | | | Added proof-segment-up-to-{cmdstart,cmdend} and details of which is selected. Updated magic. | ||
* | Updated with new keybindings for Coq, Lego. | David Aspinall | 2000-05-29 |
| | |||
* | Updated magic | David Aspinall | 2000-05-26 |
| | |||
* | Fixes for PA docs, and file load order. | David Aspinall | 2000-05-25 |
| | |||
* | Fix info bug. | David Aspinall | 2000-05-25 |
| | |||
* | Doc more new features and bug fixes for 3.2. | David Aspinall | 2000-05-25 |
| | | | | | | Doc new PA-<name> mechanism. Doc for completion. Doc for proof-shell-pre-sync-init-cmd. | ||
* | Updated magic, new funcs. | David Aspinall | 2000-05-16 |
| | |||
* | Fixed to load all files and define proof ass specifc vars. | David Aspinall | 2000-05-16 |
| | |||
* | Notes about fixing docstring-magic. | David Aspinall | 2000-05-12 |
| | |||
* | Updated 3.2 changes | David Aspinall | 2000-05-09 |
| | |||
* | Added default target | David Aspinall | 2000-05-09 |
| | |||
* | Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed. | David Aspinall | 2000-05-05 |
| | |||
* | Fix markup bug. | David Aspinall | 2000-05-05 |
| | |||
* | Expanded explanation of selecting Isar. | David Aspinall | 2000-05-05 |
| | |||
* | Added proof-assistant-menu-entries for proof assistant specific menus. | David Aspinall | 2000-05-01 |
| | |||
* | mode-for-pbp -> mode-for-goals | David Aspinall | 2000-04-07 |
| |