| Commit message (Expand) | Author | Age |
|---|
| * | Missing full stop |  David Aspinall | 2000-08-28 |
| * | Split manual into two parts. | David Aspinall | 2000-08-28 |
| * | 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 |
| * | Added paragraph and index entry explaining prefix arguments, | David Aspinall | 2000-06-05 |
| * | Added proof-comment-{start,end}-regexp. | David Aspinall | 2000-06-01 |
| * | 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 |
| * | 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 |
| * | Updates for 3.2. Added documentation of silent settings. | David Aspinall | 2000-04-07 |
| * | Add some more bullets. | David Aspinall | 2000-03-24 |
| * | Updated copy date | David Aspinall | 2000-03-24 |
| * | Made magic. | David Aspinall | 2000-03-23 |
| * | Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-... | David Aspinall | 2000-03-22 |
| * | Added new customization: proof-shell-string-escapes. | David Aspinall | 2000-03-22 |
| * | Remove comma from section heading, bad for info. | David Aspinall | 2000-03-19 |
| * | Ack ETL | David Aspinall | 2000-03-19 |
| * | Improved LEGO walk-through somewhat. Also documented C-c C-BS. | David Aspinall | 2000-03-19 |
| * | Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 rele... | David Aspinall | 2000-03-13 |
| * | Updated versions. | David Aspinall | 2000-03-10 |
| * | Added proof-shell-process-connection-type | David Aspinall | 2000-03-09 |
| * | Plans and ideas appendix no longer maintained, ref to web page | David Aspinall | 2000-03-09 |
| * | Canonical URL. | David Aspinall | 2000-02-15 |
| * | Doc for proof-shell-pre-interrupt-hook | David Aspinall | 2000-02-09 |
| * | Typos. | David Aspinall | 1999-12-16 |
| * | Minor fixes | David Aspinall | 1999-12-14 |
| * | Typo. | David Aspinall | 1999-12-14 |
| * | New chapter on Hints and Tips. Credit to Pierre. | David Aspinall | 1999-12-14 |
| * | Pierre: Added little a chapter to the documentation: Using File |  Pierre Courtieu | 1999-12-14 |
| * | Clarified further problem with Isabelle and ML files with embedded semis. | David Aspinall | 1999-12-03 |
| * | Minor. | David Aspinall | 1999-12-01 |
| * | Disabled use of macros for URLs, sigh. It breaks pdftexinfo. | David Aspinall | 1999-11-30 |
David Aspinall
Makarius Wenzel
Pierre Courtieu