Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix walkthrough to match Isabelle 2007 | David Aspinall | 2007-12-09 |
| | |||
* | Extra first section on installation | David Aspinall | 2007-12-09 |
| | |||
* | pg-topterm-char -> pg-topterm-regexp | David Aspinall | 2007-08-19 |
| | |||
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |
| | |||
* | Revert html target to not include dir (although it builds in dir) | David Aspinall | 2007-06-19 |
| | |||
* | New subdirs for html | David Aspinall | 2007-06-19 |
| | |||
* | Fix broken texi magic strings. | David Aspinall | 2007-06-19 |
| | |||
* | Account for new default behaviour of texi2html, using subdir for manuals | David Aspinall | 2007-06-19 |
| | |||
* | Fix comment | David Aspinall | 2007-06-19 |
| | |||
* | Path for docstring-magic | David Aspinall | 2007-05-10 |
| | |||
* | Fix library name | David Aspinall | 2007-05-10 |
| | |||
* | Fix walk through example for Isabelle2007, including missing line | David Aspinall | 2007-05-10 |
| | | | | pointed out by Ivan Filippenko. | ||
* | Tweaks to bugs section | David Aspinall | 2007-03-03 |
| | |||
* | Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out) | David Aspinall | 2007-03-03 |
| | |||
* | Remove old Isabelle section and references to it; clean up and streamline ↵ | David Aspinall | 2007-03-03 |
| | | | | Isabelle/Isar section | ||
* | Remove thy-mode from isa | David Aspinall | 2006-12-20 |
| | |||
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
| | |||
* | Stop texi2html complaining about unknown command @c===== | David Aspinall | 2006-05-26 |
| | |||
* | Modified documentation abou file variables to be compliant with new | Pierre Courtieu | 2006-04-26 |
| | | | | xxx-prog-args variabel. | ||
* | Addition from Tjark Weber for new commands | David Aspinall | 2005-09-22 |
| | |||
* | Include proofgeneral.1 target. Fix make->(MAKE) | David Aspinall | 2005-08-10 |
| | |||
* | Updated. | David Aspinall | 2005-08-10 |
| | |||
* | Document proof-shell-start, proof-shell-exit keys | David Aspinall | 2005-05-31 |
| | |||
* | Fix menu path to Customize | David Aspinall | 2005-05-17 |
| | |||
* | Updated. | David Aspinall | 2005-03-25 |
| | |||
* | Updated the doc for new pg/coq. Made modifications advised by Stefan | Pierre Courtieu | 2005-02-17 |
| | | | | Monnier on holes.el. | ||
* | Update for 3.6 | David Aspinall | 2004-08-25 |
| | |||
* | Update magic, dates | David Aspinall | 2004-06-04 |
| | |||
* | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall | 2004-05-09 |
| | |||
* | Whitespace. | David Aspinall | 2004-05-06 |
| | |||
* | Add EMACSFLAGS so can run with EMACS=emacs | David Aspinall | 2004-05-06 |
| | | | | (NB! Emacs has different regexp behaviour in @lisp, though!!) | ||
* | Fixup whitespace. | David Aspinall | 2004-05-06 |
| | |||
* | Run magic, clean up duplicated entries and whitespace. | David Aspinall | 2004-05-06 |
| | | | | Fix to architecture vars. | ||
* | Update magic | David Aspinall | 2004-04-27 |
| | |||
* | Update magic. | David Aspinall | 2004-04-24 |
| | |||
* | Spacing | David Aspinall | 2004-04-24 |
| | |||
* | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
| | | | | | to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l). | ||
* | Updated magic | David Aspinall | 2004-04-17 |
| | |||
* | Escape { and } | David Aspinall | 2004-04-17 |
| | |||
* | Add missing menu entry. | 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 | ||
* | Document Imenu/Speedbar. Update contributors. | David Aspinall | 2004-04-16 |
| | |||
* | Explain how to configure Imenu. | David Aspinall | 2004-04-16 |
| | |||
* | added little doc for holes. | Pierre Courtieu | 2004-04-15 |
| | |||
* | Update version to 3.5 | David Aspinall | 2004-04-03 |
| | |||
* | Update magic | David Aspinall | 2004-04-02 |
| | |||
* | Update documentation of different display modes | David Aspinall | 2004-04-02 |
| | |||
* | Fix more proofgeneral.org | David Aspinall | 2004-03-23 |
| |