aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
* - 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
* UpdatesGravatar David Aspinall2009-10-02
* Update magicGravatar David Aspinall2009-09-30
* Unicode Tokens in own chapter. Remove some func menu stuffGravatar David Aspinall2009-09-30
* Extended documentation for Tokens to explain layout control.Gravatar David Aspinall2009-09-25
* More changesGravatar David Aspinall2009-09-21
* Fix clean targetsGravatar David Aspinall2009-09-21
* Update docsGravatar David Aspinall2009-09-15
* Remove errant ^AGravatar David Aspinall2009-09-15
* More text about Unicode TokensGravatar David Aspinall2009-09-08
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Update: mention scomint, remove old variables/functionsGravatar David Aspinall2009-09-06
* Updated news and creditsGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* VersionGravatar David Aspinall2009-09-04
* Update versionsGravatar David Aspinall2009-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 12:28:26 +0000