aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/docstring-magic.el
Commit message (Expand)AuthorAge
* Fix loading of multiple prover files: set proof-assistant-table to nil so pro...Gravatar David Aspinall2008-07-12
* Load unicode-tokens.elGravatar David Aspinall2008-01-30
* Update for new startup mechanism.Gravatar David Aspinall2008-01-17
* Remove thy-mode from isaGravatar David Aspinall2006-12-20
* Updated.Gravatar David Aspinall2005-03-25
* New lineGravatar David Aspinall2001-09-24
* *** empty log message ***Gravatar Christophe Raffalli2000-11-10
* Add provide sym-lock to fix sym lock loading problemGravatar David Aspinall2000-09-12
* use proof-assistant-table instead of proof-assistants;Gravatar Makarius Wenzel2000-07-26
* Load a couple more file manually.Gravatar David Aspinall2000-06-09
* Fixes for PA docs, and file load order.Gravatar David Aspinall2000-05-25
* Fixed to load all files and define proof ass specifc vars.Gravatar David Aspinall2000-05-16
* Notes about fixing docstring-magic.Gravatar David Aspinall2000-05-12
* Fix FSF prob.Gravatar David Aspinall1999-11-17
* typoGravatar David Aspinall1999-10-21
* A couple of comint symbols are mentioned in the docsGravatar David Aspinall1999-10-21
* Load plastic and isar as a sanity check, prelude to documenting in texiGravatar David Aspinall1999-07-03
* Some hacks to make markup happen.Gravatar David Aspinall1998-12-16
* Load proof-toolbarGravatar David Aspinall1998-11-25
* Added header.Gravatar David Aspinall1998-11-25
* Magic docstring -> texi conversion.Gravatar David Aspinall1998-11-25