aboutsummaryrefslogtreecommitdiffhomepage
path: root/twelf
Commit message (Expand)AuthorAge
* Update email and web addressesGravatar David Aspinall2004-02-08
* Fixes so that compile worksGravatar David Aspinall2003-02-15
* Updated.Gravatar David Aspinall2002-08-29
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Remove use new parserGravatar David Aspinall2002-07-14
* GPL updateGravatar David Aspinall2002-06-21
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* TweakGravatar David Aspinall2000-09-29
* Notes.Gravatar David Aspinall2000-09-28
* Add FIXMEGravatar David Aspinall2000-09-28
* Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.Gravatar David Aspinall2000-09-28
* Fixes to twelf support, begins to work now.Gravatar David Aspinall2000-09-28
* Standard poor X-Symbol support for twelf.Gravatar David Aspinall2000-09-23
* Remove twelf-config-mode variable check, to allow functionsGravatar David Aspinall2000-09-18
* Improvements to support: needs work in segment-up-to, though.Gravatar David Aspinall2000-09-18
* Example file grabbed from twelf distribGravatar David Aspinall2000-08-29
* A little bit of progress.Gravatar David Aspinall2000-08-29
* Files for twelf, not working at all yet.Gravatar David Aspinall2000-08-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 08:02:47 +0000