aboutsummaryrefslogtreecommitdiffhomepage
path: root/twelf
Commit message (Collapse)AuthorAge
* 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 -> ↵Gravatar David Aspinall2002-07-19
| | | | proof-script-comment-{start,end}-regexp.
* 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
| | | | here to work with PG (without loading twelf-old.el).
* 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