aboutsummaryrefslogtreecommitdiff
path: root/twelf
AgeCommit message (Expand)Author
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2004-04-15Updated.David Aspinall
2004-04-14Remove X-symbol support from secondary provers temporarilyDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-02-15Fixes so that compile worksDavid Aspinall
2002-08-29Updated.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-14Remove use new parserDavid Aspinall
2002-06-21GPL updateDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2000-09-29TweakDavid Aspinall
2000-09-28Notes.David Aspinall
2000-09-28Add FIXMEDavid Aspinall
2000-09-28Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.David Aspinall
2000-09-28Fixes to twelf support, begins to work now.David Aspinall
2000-09-23Standard poor X-Symbol support for twelf.David Aspinall
2000-09-18Remove twelf-config-mode variable check, to allow functionsDavid Aspinall
2000-09-18Improvements to support: needs work in segment-up-to, though.David Aspinall
2000-08-29Example file grabbed from twelf distribDavid Aspinall
2000-08-29A little bit of progress.David Aspinall
2000-08-28Files for twelf, not working at all yet.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:19:33 +0000