| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-03-03 | Tweaks to bugs section | David Aspinall | |
| 2007-03-03 | Remove old Isabelle section and references to it; clean up and streamline ↵ | David Aspinall | |
| Isabelle/Isar section | |||
| 2006-09-24 | Add buffer history browsing | David Aspinall | |
| 2006-05-26 | Stop texi2html complaining about unknown command @c===== | David Aspinall | |
| 2006-04-26 | Modified documentation abou file variables to be compliant with new | Pierre Courtieu | |
| xxx-prog-args variabel. | |||
| 2005-09-22 | Addition from Tjark Weber for new commands | David Aspinall | |
| 2005-05-31 | Document proof-shell-start, proof-shell-exit keys | David Aspinall | |
| 2005-05-17 | Fix menu path to Customize | David Aspinall | |
| 2005-02-17 | Updated the doc for new pg/coq. Made modifications advised by Stefan | Pierre Courtieu | |
| Monnier on holes.el. | |||
| 2004-08-25 | Update for 3.6 | David Aspinall | |
| 2004-06-04 | Update magic, dates | David Aspinall | |
| 2004-05-09 | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall | |
| 2004-05-06 | Fixup whitespace. | David Aspinall | |
| 2004-04-27 | Update magic | David Aspinall | |
| 2004-04-24 | Update 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 | Numerous updates and improvements: | David Aspinall | |
| - 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 | |||
| 2004-04-16 | Document Imenu/Speedbar. Update contributors. | David Aspinall | |
| 2004-04-15 | added little doc for holes. | Pierre Courtieu | |
| 2004-04-03 | Update version to 3.5 | David Aspinall | |
| 2004-04-02 | Update documentation of different display modes | David Aspinall | |
| 2004-03-23 | Fix more proofgeneral.org | David Aspinall | |
| 2004-03-23 | Update date | David Aspinall | |
| 2004-03-23 | Intro to 3.5 version, Emacs version update | David Aspinall | |
| 2004-03-23 | Update last updated stamp | David Aspinall | |
| 2004-02-08 | Fix link | David Aspinall | |
| 2004-02-08 | Update magic | David Aspinall | |
| 2004-02-08 | Updated. | David Aspinall | |
| 2003-12-11 | Fix domain name | David Aspinall | |
| 2003-06-05 | Typo; update magic | David Aspinall | |
| 2003-03-17 | Updated magic | David Aspinall | |
| 2003-03-03 | Note about M-x x-symbol-mode | David Aspinall | |
| 2003-03-01 | Update doc of X-Sym | David Aspinall | |
| 2003-02-05 | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu | |
| 2002-09-11 | Update version number, reorg. | David Aspinall | |
| 2002-08-29 | Add Stefan Monnier | David Aspinall | |
| 2002-08-29 | Updated. | David Aspinall | |
| 2002-08-29 | Update magic | David Aspinall | |
| 2002-08-28 | Update dir entries, remove localdir file | David Aspinall | |
| 2002-08-27 | Updated magic | David Aspinall | |
| 2002-08-12 | Tweak Pierres docs | David Aspinall | |
| 2002-08-12 | Tweak Pierres docs | David Aspinall | |
| 2002-08-12 | Document experimental features; update other descriptions. | David Aspinall | |
| 2002-08-09 | Doc comments also under vis control | David Aspinall | |
| 2002-08-08 | Authorship, comments. | David Aspinall | |
| 2002-08-08 | Fix email addresses; tweaks. | David Aspinall | |
| 2002-08-08 | Trivial. | David Aspinall | |
| 2002-08-07 | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |