aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Patched patch for updated proof-site.elGravatar David Aspinall1999-06-07
* Patched patch for updated proof-site.elGravatar David Aspinall1999-06-07
* Set version tag for new release.Gravatar proofgen1999-06-07
* Set version tag for new release.Gravatar proofgen1999-04-07
* Set version tag for new release.Gravatar David Aspinall1999-02-22
* Set version tag for new release.Gravatar David Aspinall1999-02-01
* Added test for .thy file match bug.Gravatar David Aspinall1999-02-01
* Fixed comment.Gravatar David Aspinall1999-02-01
* Test case for file recognition bug.Gravatar David Aspinall1999-02-01
* Added David von Oheimbs test case for case matchingGravatar David Aspinall1999-01-26
* Tested piped communication in emacs-20.3Gravatar David Aspinall1999-01-21
* Rearranged into reverse chronological orderGravatar David Aspinall1999-01-21
* Improved test file so that it works correctly with installed LEGO 1.3.1Gravatar Thomas Kleymann1999-01-21
* added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Gravatar Thomas Kleymann1999-01-18
* does indeed crash Proof General, Version 2.1pre990112Gravatar Thomas Kleymann1999-01-18
* Set version tag for new release.Gravatar David Aspinall1999-01-15
* Test has backward slashes now, not forwards ones..Gravatar David Aspinall1999-01-15
* Added putative test for Isabelle and long lines with backslash.Gravatar David Aspinall1999-01-15
* Test file for long lines with backslashes.Gravatar David Aspinall1999-01-15
* Set version tag for new release.Gravatar David Aspinall1999-01-12
* Set version tag for new release.Gravatar David Aspinall1998-12-18
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Fixed web address for documentation.Gravatar David Aspinall1998-12-17
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 04:34:33 +0000