aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
1999-08-23Set version tag for new release.David Aspinall
1999-08-23Mentioned a few testsDavid Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-19based on Pure rather than Main (which didn't work because of Pure/CPure clash);Makarius Wenzel
1999-08-19Set version tag for new release.David Aspinall
1999-08-17Set version tag for new release.David Aspinall
1999-07-29Test files for multiple file handling with Isabelle/Isar;Makarius Wenzel
1999-07-22Set version tag for new release.David Aspinall
1999-07-16Set version tag for new release.David Aspinall
1999-07-07Set version tag for new release.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02Set version tag for new release.David Aspinall
1999-07-01Set version tag for new release.David Aspinall
1999-07-01Simplified for new rpmDavid Aspinall
1999-06-30Set version tag for new release.David Aspinall
1999-06-28Set version tag for new release.David Aspinall
1999-06-24Set version tag for new release.proofgen
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1999-06-07Set version tag for new release.proofgen
1999-04-07Set version tag for new release.proofgen
1999-02-22Set version tag for new release.David Aspinall
1999-02-01Set version tag for new release.David Aspinall
1999-02-01Added test for .thy file match bug.David Aspinall
1999-02-01Fixed comment.David Aspinall
1999-02-01Test case for file recognition bug.David Aspinall
1999-01-26Added David von Oheimbs test case for case matchingDavid Aspinall
1999-01-21Tested piped communication in emacs-20.3David Aspinall
1999-01-21Rearranged into reverse chronological orderDavid Aspinall
1999-01-21Improved test file so that it works correctly with installed LEGO 1.3.1Thomas Kleymann
1999-01-18added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Thomas Kleymann
1999-01-18does indeed crash Proof General, Version 2.1pre990112Thomas Kleymann
1999-01-15Set version tag for new release.David Aspinall
1999-01-15Test has backward slashes now, not forwards ones..David Aspinall
1999-01-15Added putative test for Isabelle and long lines with backslash.David Aspinall
1999-01-15Test file for long lines with backslashes.David Aspinall
1999-01-12Set version tag for new release.David Aspinall
1998-12-18Set version tag for new release.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Fixed web address for documentation.David Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Included the rest of the info files in the package.David Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16structured announcement some moreThomas Kleymann
1998-12-16Added Coq test results. Made reverse chronological order.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 14:33:33 +0000