aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2000-09-12Updated magic.David Aspinall
2000-09-12Add provide sym-lock to fix sym lock loading problemDavid Aspinall
2000-09-12More details about parsing functions. Improved introDavid Aspinall
2000-09-12Update date.David Aspinall
2000-09-08Customize always available if PG isDavid Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Fix description of manual now broken into twoDavid Aspinall
2000-08-28Updated magicDavid Aspinall
2000-08-28Fix recursive makeDavid Aspinall
2000-08-28Missing full stopDavid Aspinall
2000-08-28Split manual into two parts.David Aspinall
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.
2000-07-26updated;Makarius Wenzel
2000-07-26use proof-assistant-table instead of proof-assistants;Makarius Wenzel
2000-07-12Minor updatesDavid Aspinall
2000-06-19Updated list of helpers. TypoDavid Aspinall
2000-06-15Elaborated on where to find example fileDavid Aspinall
2000-06-09Updated magic.David Aspinall
2000-06-09Load a couple more file manually.David Aspinall
2000-06-08completely new indentation setup: faster, easier to configure;Makarius Wenzel
now enabled by default;
2000-06-05Added paragraph and index entry explaining prefix arguments,David Aspinall
and some more on keystrokes, for the Emacs-impoverished users. Added doc of proof-display-some-buffers
2000-06-01Added proof-comment-{start,end}-regexp.David Aspinall
Added proof-segment-up-to-{cmdstart,cmdend} and details of which is selected. Updated magic.
2000-05-29Updated with new keybindings for Coq, Lego.David Aspinall
2000-05-26Updated magicDavid Aspinall
2000-05-25Fixes for PA docs, and file load order.David Aspinall
2000-05-25Fix info bug.David Aspinall
2000-05-25Doc more new features and bug fixes for 3.2.David Aspinall
Doc new PA-<name> mechanism. Doc for completion. Doc for proof-shell-pre-sync-init-cmd.
2000-05-16Updated magic, new funcs.David Aspinall
2000-05-16Fixed to load all files and define proof ass specifc vars.David Aspinall
2000-05-12Notes about fixing docstring-magic.David Aspinall
2000-05-09Updated 3.2 changesDavid Aspinall
2000-05-09Added default targetDavid Aspinall
2000-05-05Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.David Aspinall
2000-05-05Fix markup bug.David Aspinall
2000-05-05Expanded explanation of selecting Isar.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-04-07mode-for-pbp -> mode-for-goalsDavid Aspinall
2000-04-07Updates for 3.2. Added documentation of silent settings.David Aspinall
2000-03-24Add some more bullets.David Aspinall
2000-03-24Updated copy dateDavid Aspinall
2000-03-23Made magic.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> ↵David Aspinall
proof-shell-filename-escapes, and always apply for filename substn.
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-19Remove comma from section heading, bad for info.David Aspinall
2000-03-19Ack ETLDavid Aspinall
2000-03-19Improved LEGO walk-through somewhat. Also documented C-c C-BS.David Aspinall
2000-03-13Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 ↵David Aspinall
release.
2000-03-10Updated versions.David Aspinall
2000-03-09Added proof-shell-process-connection-typeDavid Aspinall
2000-03-09Plans and ideas appendix no longer maintained, ref to web pageDavid Aspinall
2000-02-15Canonical URL.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 14:02:45 +0000