aboutsummaryrefslogtreecommitdiffhomepage
path: root/twelf
Commit message (Expand)AuthorAge
* Get rid of old-style backquotesGravatar Clément Pit--Claudel2018-01-16
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* Updated.Gravatar David Aspinall2004-04-15
* Remove X-symbol support from secondary provers temporarilyGravatar David Aspinall2004-04-14
* 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-04-20 07:51:25 +0000