Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update magic | David Aspinall | 2011-08-23 |
| | |||
* | + fix documentation and one spelling error | Hendrik Tews | 2011-07-05 |
| | |||
* | Update dates, magic. | David Aspinall | 2011-06-10 |
| | |||
* | Update docstrings | David Aspinall | 2011-05-16 |
| | |||
* | Update docstring magic | David Aspinall | 2011-05-12 |
| | |||
* | Fix emails | David Aspinall | 2011-05-05 |
| | |||
* | Remove mention of dvi | David Aspinall | 2011-05-05 |
| | |||
* | Restore front page scary image. Update dates | David Aspinall | 2011-05-05 |
| | |||
* | Update dates. | David Aspinall | 2011-05-05 |
| | |||
* | Restore scary front page image. Add credits. | David Aspinall | 2011-05-05 |
| | |||
* | Clean up and remove obsolete dvi targets. | David Aspinall | 2011-05-05 |
| | |||
* | Recreate jpg from old front page image (spending some bytes) | David Aspinall | 2011-05-05 |
| | |||
* | - flushed proof-done-advancing-require-function and | Hendrik Tews | 2011-05-05 |
| | | | | | proof-shell-require-command-regexp - TAGS updated to really flush them | ||
* | Update magic, tweak Makefile to make sure magic uses source .els | David Aspinall | 2011-04-26 |
| | |||
* | Add proof-output-tooltips option to turn off output highlighting for people ↵ | David Aspinall | 2011-04-13 |
| | | | | who read or edit by waving mouse at text | ||
* | typo | David Aspinall | 2011-04-12 |
| | |||
* | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews | 2011-03-14 |
| | | | | - improve internal docs for unlocking | ||
* | put coq compilation feature into coq settings menu | Hendrik Tews | 2011-02-14 |
| | |||
* | - properly display compilation error messages and enable M-x | Hendrik Tews | 2011-02-02 |
| | | | | next-error (as far as possible) | ||
* | - use low-level compilation interface for external coq | Hendrik Tews | 2011-01-28 |
| | | | | compilation with our own customization variables | ||
* | - mark new coq specific variables as safe | Hendrik Tews | 2011-01-28 |
| | | | | - hint on per-directory local variables | ||
* | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews | 2011-01-26 |
| | | | | | list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert. | ||
* | - fix 1 second problem | Hendrik Tews | 2011-01-26 |
| | | | | - add limitations in the docs | ||
* | Add News for 4.1 | David Aspinall | 2011-01-24 |
| | |||
* | Documentation updates | David Aspinall | 2011-01-23 |
| | |||
* | Update date stamps | David Aspinall | 2011-01-19 |
| | |||
* | - improved doc nodes Using file variables and Locking Ancestors | Hendrik Tews | 2011-01-19 |
| | |||
* | - implemented coq-lock-ancestors as described in the docs already | Hendrik Tews | 2011-01-18 |
| | |||
* | - fix broken external compilation | Hendrik Tews | 2011-01-18 |
| | | | | | | - fix quitting during compilation - substitute "compile" for "recompile" - added documentation | ||
* | - move proof-no-fully-processed-buffer to generic/proof-config | Hendrik Tews | 2011-01-14 |
| | | | | | | - add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted | ||
* | Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355 | David Aspinall | 2011-01-12 |
| | |||
* | Whitespace | David Aspinall | 2010-10-11 |
| | |||
* | Add Adam Megacz to credits | David Aspinall | 2010-10-11 |
| | |||
* | Cleanups. | David Aspinall | 2010-10-10 |
| | |||
* | Update magic | David Aspinall | 2010-10-10 |
| | |||
* | Update documenation of mouse bindings. | David Aspinall | 2010-10-10 |
| | | | | | Clean up documentation of holes a bit. Remove some dead comments. | ||
* | Update magic | David Aspinall | 2010-10-08 |
| | |||
* | Improve autosend doc | David Aspinall | 2010-10-08 |
| | |||
* | Fully remove section for Coq-specific variables (coq-version-is-* | David Aspinall | 2010-10-04 |
| | |||
* | Fix some mouse bindings | David Aspinall | 2010-10-04 |
| | |||
* | Document query identifier | David Aspinall | 2010-10-01 |
| | |||
* | Update magic, release dates | David Aspinall | 2010-10-01 |
| | |||
* | Fix for new menu layout. Improve doc for automatic processing, ↵ | David Aspinall | 2010-09-21 |
| | | | | document-centred. | ||
* | Update magic | David Aspinall | 2010-08-27 |
| | |||
* | Update versions | David Aspinall | 2010-08-24 |
| | |||
* | 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 |
| |