aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
1998-12-16added proof-shell-exit test descriptionThomas Kleymann
1998-12-16documented LEGO specific bugThomas Kleymann
1998-12-15Set version tag for new release.David Aspinall
1998-12-14Altered order of new para and removed some mailing list addrsDavid Aspinall
1998-12-14Another FSF bug found in the new filter functions, this time for script buffer.David Aspinall
1998-12-14Log of testing results.David Aspinall
1998-12-14. modified mailing listsThomas Kleymann
. added further benefit in last section
1998-12-14Added section for UITP/TP researchers, mentioning further possibleDavid Aspinall
projects. Added many more mailing list addresses. Not sure what half of them are, need vetting really.
1998-12-11Set version tag for new release.David Aspinall
1998-12-11More test cases mentionedDavid Aspinall
1998-12-11Added new test/comments.David Aspinall
1998-12-11Added more commands for testingDavid Aspinall
1998-12-11Name of proof-shell-restart was changed.David Aspinall
1998-12-10New file mentioning some test cases.David Aspinall
1998-12-07Set version tag for new release.David Aspinall
1998-11-26Set version tag for new release.David Aspinall
1998-11-25Updated patchDavid Aspinall
1998-11-25Set version tag for new release.David Aspinall
1998-11-25Added mention of user documentation.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Emacs lovers become militant.David Aspinall
1998-11-20Set version tag for new release.David Aspinall
1998-11-18Changes for better testingDavid Aspinall
1998-11-10Set version tag for new release.David Aspinall
1998-11-10Changed text ready for 2.0 releaseDavid Aspinall
1998-11-04Set version tag for new release.David Aspinall
1998-11-03Fixed multiple file bugDavid Aspinall
1998-11-03Set version tag for new release.Thomas Kleymann
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
Done. :-)
1998-11-02Set version tag for new release.Thomas Kleymann
1998-10-30Set version tag for new release.Thomas Kleymann
1998-10-29More notesDavid Aspinall
1998-10-29Set version tag for new release.David Aspinall
1998-10-29Ran tests for Isabelle. Added another test case.David Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-23Added new case of retracting across file boundaries to a buffer withThomas Kleymann
more than on ACS. Also improved presentation.
1998-10-23no futher instructions in share-site-startup neededThomas Kleymann
1998-10-22Set version tag for new release.Thomas Kleymann
1998-10-21modified local installation procedureThomas Kleymann
1998-10-20Set version tag for new release.David Aspinall
1998-10-20Miscellaneous notes (how to create screen dump)David Aspinall
1998-10-20Filename commentDavid Aspinall
1998-10-19support environmental variable PROOFGENERALThomas Kleymann
1998-10-19Test files for handling multiple files with IsabelleDavid Aspinall
1998-10-19Description of dir contentsDavid Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18*** empty log message ***Thomas Kleymann
1998-10-15Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 16:38:59 +0000