aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Update magic, tweak Makefile to make sure magic uses source .elsGravatar David Aspinall2011-04-26
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* typoGravatar David Aspinall2011-04-12
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
* put coq compilation feature into coq settings menuGravatar Hendrik Tews2011-02-14
* - properly display compilation error messages and enable M-xGravatar Hendrik Tews2011-02-02
* - use low-level compilation interface for external coqGravatar Hendrik Tews2011-01-28
* - mark new coq specific variables as safeGravatar Hendrik Tews2011-01-28
* - more info on the elements of proof-action-list; the COMMANDSGravatar Hendrik Tews2011-01-26
* - fix 1 second problemGravatar Hendrik Tews2011-01-26
* Add News for 4.1Gravatar David Aspinall2011-01-24
* Documentation updatesGravatar David Aspinall2011-01-23
* Update date stampsGravatar David Aspinall2011-01-19
* - improved doc nodes Using file variables and Locking AncestorsGravatar Hendrik Tews2011-01-19
* - implemented coq-lock-ancestors as described in the docs alreadyGravatar Hendrik Tews2011-01-18
* - fix broken external compilationGravatar Hendrik Tews2011-01-18
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355Gravatar David Aspinall2011-01-12
* WhitespaceGravatar David Aspinall2010-10-11
* Add Adam Megacz to creditsGravatar David Aspinall2010-10-11
* Cleanups.Gravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-10
* Update documenation of mouse bindings.Gravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-08
* Improve autosend docGravatar David Aspinall2010-10-08
* Fully remove section for Coq-specific variables (coq-version-is-*Gravatar David Aspinall2010-10-04
* Fix some mouse bindingsGravatar David Aspinall2010-10-04
* Document query identifierGravatar David Aspinall2010-10-01
* Update magic, release datesGravatar David Aspinall2010-10-01
* Fix for new menu layout. Improve doc for automatic processing, document-cent...Gravatar David Aspinall2010-09-21
* Update magicGravatar David Aspinall2010-08-27
* Update versionsGravatar David Aspinall2010-08-24
* Remove extra nav bars in html. Clean html subdirs on distcleanGravatar David Aspinall2010-08-23
* -prefix -> --outputGravatar David Aspinall2010-08-23
* texi2html: add -prefix to give same as old behaviour (sub-directory).Gravatar David Aspinall2010-08-23
* Fix image embedding in htmlGravatar David Aspinall2010-08-23
* Update to use @dircategory and @direntry for infoGravatar David Aspinall2010-08-23
* Add some more creditsGravatar David Aspinall2010-08-23
* Add some more creditsGravatar David Aspinall2010-08-23
* Add doc for Send Automatically optionGravatar David Aspinall2010-08-19
* Simplify installation instructionsGravatar David Aspinall2010-08-18
* Fix menu/node order inside internal chapterGravatar David Aspinall2010-08-15
* proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.Gravatar David Aspinall2010-08-03
* Update years, versions.Gravatar David Aspinall2010-07-08
* Fix menu path to Sticky Errors option.Gravatar David Aspinall2009-12-02
* Update magicGravatar David Aspinall2009-12-01
* Explain fontsets for Emacs 22Gravatar David Aspinall2009-12-01
* Updates to internal function docsGravatar David Aspinall2009-11-29
* Update menu paths and faces.Gravatar David Aspinall2009-11-29
* Remove function-menu as promisedGravatar David Aspinall2009-10-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 11:54:30 +0000