index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
twelf
Commit message (
Expand
)
Author
Age
*
Update email and web addresses
David Aspinall
2004-02-08
*
Fixes so that compile works
David Aspinall
2003-02-15
*
Updated.
David Aspinall
2002-08-29
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Remove use new parser
David Aspinall
2002-07-14
*
GPL update
David Aspinall
2002-06-21
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Tweak
David Aspinall
2000-09-29
*
Notes.
David Aspinall
2000-09-28
*
Add FIXME
David Aspinall
2000-09-28
*
Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.
David Aspinall
2000-09-28
*
Fixes to twelf support, begins to work now.
David Aspinall
2000-09-28
*
Standard poor X-Symbol support for twelf.
David Aspinall
2000-09-23
*
Remove twelf-config-mode variable check, to allow functions
David Aspinall
2000-09-18
*
Improvements to support: needs work in segment-up-to, though.
David Aspinall
2000-09-18
*
Example file grabbed from twelf distrib
David Aspinall
2000-08-29
*
A little bit of progress.
David Aspinall
2000-08-29
*
Files for twelf, not working at all yet.
David Aspinall
2000-08-28