aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Included the rest of the info files in the package.Gravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* structured announcement some moreGravatar Thomas Kleymann1998-12-16
* Added Coq test results. Made reverse chronological order.Gravatar David Aspinall1998-12-16
* added proof-shell-exit test descriptionGravatar Thomas Kleymann1998-12-16
* documented LEGO specific bugGravatar Thomas Kleymann1998-12-16
* Set version tag for new release.Gravatar David Aspinall1998-12-15
* Altered order of new para and removed some mailing list addrsGravatar David Aspinall1998-12-14
* Another FSF bug found in the new filter functions, this time for script buffer.Gravatar David Aspinall1998-12-14
* Log of testing results.Gravatar David Aspinall1998-12-14
* . modified mailing listsGravatar Thomas Kleymann1998-12-14
* Added section for UITP/TP researchers, mentioning further possibleGravatar David Aspinall1998-12-14
* Set version tag for new release.Gravatar David Aspinall1998-12-11
* More test cases mentionedGravatar David Aspinall1998-12-11
* Added new test/comments.Gravatar David Aspinall1998-12-11
* Added more commands for testingGravatar David Aspinall1998-12-11
* Name of proof-shell-restart was changed.Gravatar David Aspinall1998-12-11
* New file mentioning some test cases.Gravatar David Aspinall1998-12-10
* Set version tag for new release.Gravatar David Aspinall1998-12-07
* Set version tag for new release.Gravatar David Aspinall1998-11-26
* Updated patchGravatar David Aspinall1998-11-25
* Set version tag for new release.Gravatar David Aspinall1998-11-25
* Added mention of user documentation.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Emacs lovers become militant.Gravatar David Aspinall1998-11-25
* Set version tag for new release.Gravatar David Aspinall1998-11-20
* Changes for better testingGravatar David Aspinall1998-11-18
* Set version tag for new release.Gravatar David Aspinall1998-11-10
* Changed text ready for 2.0 releaseGravatar David Aspinall1998-11-10
* Set version tag for new release.Gravatar David Aspinall1998-11-04
* Fixed multiple file bugGravatar David Aspinall1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-03
* A* Fix display handling problems (tms, all week)Gravatar Thomas Kleymann1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-02
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-30
* More notesGravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Ran tests for Isabelle. Added another test case.Gravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar proofgen1998-10-28
* Set version tag for new release.Gravatar proofgen1998-10-28
* Added new case of retracting across file boundaries to a buffer withGravatar Thomas Kleymann1998-10-23
* no futher instructions in share-site-startup neededGravatar Thomas Kleymann1998-10-23
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-22
* modified local installation procedureGravatar Thomas Kleymann1998-10-21
* Set version tag for new release.Gravatar David Aspinall1998-10-20
* Miscellaneous notes (how to create screen dump)Gravatar David Aspinall1998-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 11:04:10 +0000