| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-01-24 | Add News for 4.1 | David Aspinall | |
| 2011-01-23 | Documentation updates | David Aspinall | |
| 2011-01-19 | Update date stamps | David Aspinall | |
| 2011-01-19 | - improved doc nodes Using file variables and Locking Ancestors | Hendrik Tews | |
| 2011-01-18 | - implemented coq-lock-ancestors as described in the docs already | Hendrik Tews | |
| 2011-01-18 | - fix broken external compilation | Hendrik Tews | |
| - fix quitting during compilation - substitute "compile" for "recompile" - added documentation | |||
| 2011-01-14 | - move proof-no-fully-processed-buffer to generic/proof-config | Hendrik Tews | |
| - add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted | |||
| 2011-01-12 | Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355 | David Aspinall | |
| 2010-10-11 | Whitespace | David Aspinall | |
| 2010-10-11 | Add Adam Megacz to credits | David Aspinall | |
| 2010-10-10 | Cleanups. | David Aspinall | |
| 2010-10-10 | Update magic | David Aspinall | |
| 2010-10-10 | Update documenation of mouse bindings. | David Aspinall | |
| Clean up documentation of holes a bit. Remove some dead comments. | |||
| 2010-10-08 | Update magic | David Aspinall | |
| 2010-10-08 | Improve autosend doc | David Aspinall | |
| 2010-10-04 | Fully remove section for Coq-specific variables (coq-version-is-* | David Aspinall | |
| 2010-10-04 | Fix some mouse bindings | David Aspinall | |
| 2010-10-01 | Document query identifier | David Aspinall | |
| 2010-10-01 | Update magic, release dates | David Aspinall | |
| 2010-09-21 | Fix for new menu layout. Improve doc for automatic processing, ↵ | David Aspinall | |
| document-centred. | |||
| 2010-08-27 | Update magic | David Aspinall | |
| 2010-08-24 | Update versions | David Aspinall | |
| 2010-08-23 | Remove extra nav bars in html. Clean html subdirs on distclean | David Aspinall | |
| 2010-08-23 | -prefix -> --output | David Aspinall | |
| 2010-08-23 | texi2html: add -prefix to give same as old behaviour (sub-directory). | David Aspinall | |
| 2010-08-23 | Fix image embedding in html | David Aspinall | |
| 2010-08-23 | Update to use @dircategory and @direntry for info | David Aspinall | |
| 2010-08-23 | Add some more credits | David Aspinall | |
| 2010-08-23 | Add some more credits | David Aspinall | |
| 2010-08-19 | Add doc for Send Automatically option | David Aspinall | |
| 2010-08-18 | Simplify installation instructions | David Aspinall | |
| 2010-08-15 | Fix menu/node order inside internal chapter | David Aspinall | |
| 2010-08-03 | proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead. | David Aspinall | |
| 2010-07-08 | Update years, versions. | David Aspinall | |
| 2009-12-02 | Fix menu path to Sticky Errors option. | David Aspinall | |
| 2009-12-01 | Update magic | David Aspinall | |
| 2009-12-01 | Explain fontsets for Emacs 22 | David Aspinall | |
| 2009-11-29 | Updates to internal function docs | David Aspinall | |
| 2009-11-29 | Update menu paths and faces. | David Aspinall | |
| 2009-10-14 | Remove function-menu as promised | David Aspinall | |
| 2009-10-02 | Updates | David Aspinall | |
| 2009-09-30 | Update magic | David Aspinall | |
| 2009-09-30 | Unicode Tokens in own chapter. Remove some func menu stuff | David Aspinall | |
| 2009-09-25 | Extended documentation for Tokens to explain layout control. | David Aspinall | |
| Fix typo in Isar shortcuts. Add links in NEWS section. | |||
| 2009-09-21 | More changes | David Aspinall | |
| 2009-09-21 | Fix clean targets | David Aspinall | |
| 2009-09-15 | Update docs | David Aspinall | |
| 2009-09-15 | Remove errant ^A | David Aspinall | |
| 2009-09-08 | More text about Unicode Tokens | David Aspinall | |
| Remove proof-shell-abort-goal-regexp | |||
| 2009-09-06 | Configuration changes for shell mode revision. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |