index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
*
Altered order of new para and removed some mailing list addrs
David Aspinall
1998-12-14
*
Another FSF bug found in the new filter functions, this time for script buffer.
David Aspinall
1998-12-14
*
Log of testing results.
David Aspinall
1998-12-14
*
. modified mailing lists
Thomas Kleymann
1998-12-14
*
Added section for UITP/TP researchers, mentioning further possible
David Aspinall
1998-12-14
*
Set version tag for new release.
David Aspinall
1998-12-11
*
More test cases mentioned
David Aspinall
1998-12-11
*
Added new test/comments.
David Aspinall
1998-12-11
*
Added more commands for testing
David Aspinall
1998-12-11
*
Name of proof-shell-restart was changed.
David Aspinall
1998-12-11
*
New file mentioning some test cases.
David Aspinall
1998-12-10
*
Set version tag for new release.
David Aspinall
1998-12-07
*
Set version tag for new release.
David Aspinall
1998-11-26
*
Updated patch
David Aspinall
1998-11-25
*
Set version tag for new release.
David Aspinall
1998-11-25
*
Added mention of user documentation.
David Aspinall
1998-11-25
*
Updated
David Aspinall
1998-11-25
*
Emacs lovers become militant.
David Aspinall
1998-11-25
*
Set version tag for new release.
David Aspinall
1998-11-20
*
Changes for better testing
David Aspinall
1998-11-18
*
Set version tag for new release.
David Aspinall
1998-11-10
*
Changed text ready for 2.0 release
David Aspinall
1998-11-10
*
Set version tag for new release.
David Aspinall
1998-11-04
*
Fixed multiple file bug
David Aspinall
1998-11-03
*
Set version tag for new release.
Thomas Kleymann
1998-11-03
*
A* Fix display handling problems (tms, all week)
Thomas Kleymann
1998-11-03
*
Set version tag for new release.
Thomas Kleymann
1998-11-02
*
Set version tag for new release.
Thomas Kleymann
1998-10-30
*
More notes
David Aspinall
1998-10-29
*
Set version tag for new release.
David Aspinall
1998-10-29
*
Ran tests for Isabelle. Added another test case.
David Aspinall
1998-10-29
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
Set version tag for new release.
proofgen
1998-10-28
*
Set version tag for new release.
proofgen
1998-10-28
*
Added new case of retracting across file boundaries to a buffer with
Thomas Kleymann
1998-10-23
*
no futher instructions in share-site-startup needed
Thomas Kleymann
1998-10-23
*
Set version tag for new release.
Thomas Kleymann
1998-10-22
*
modified local installation procedure
Thomas Kleymann
1998-10-21
*
Set version tag for new release.
David Aspinall
1998-10-20
*
Miscellaneous notes (how to create screen dump)
David Aspinall
1998-10-20
*
Filename comment
David Aspinall
1998-10-20
*
support environmental variable PROOFGENERAL
Thomas Kleymann
1998-10-19
*
Test files for handling multiple files with Isabelle
David Aspinall
1998-10-19
*
Description of dir contents
David Aspinall
1998-10-19
*
support for nested goals is now restricted to Coq
Thomas Kleymann
1998-10-18
*
*** empty log message ***
Thomas Kleymann
1998-10-18
*
Set version tag for new release.
David Aspinall
1998-10-15
*
Set version tag for release.
David Aspinall
1998-10-14
*
Updated to posted version
David Aspinall
1998-10-13
*
Set version tag for release.
David Aspinall
1998-10-13
[next]