aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-22Set version tag for new release.David Aspinall
1999-10-21Trivial changesDavid Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-20Minor change for testing.David Aspinall
1999-10-14Set version tag for new release.David Aspinall
1999-10-12Set version tag for new release.David Aspinall
1999-10-07Set version tag for new release.David Aspinall
1999-10-06Set version tag for new release.David Aspinall
1999-10-06Set version tag for new release.David Aspinall
1999-10-06Test for Unnamed_thm.David Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06Notes on profiling.David Aspinall
1999-10-06summarize changes since 2.1David Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-10-01Set version tag for new release.David Aspinall
1999-09-30Set version tag for new release.David Aspinall
1999-09-29Set version tag for new release.David Aspinall
1999-09-28Set version tag for new release.David Aspinall
1999-09-27Set version tag for new release.David Aspinall
1999-09-23Set version tag for new release.David Aspinall
1999-09-22Set version tag for new release.David Aspinall
1999-09-21Set version tag for new release.David Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13Set version tag for new release.David Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
1999-08-27Set version tag for new release.David Aspinall
1999-08-27Record of releasesDavid Aspinall
1999-08-27Updated for 2.1David Aspinall
1999-08-25Fixed to include isar in distribution; made relocatable.David Aspinall
1999-08-24Set version tag for new release.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 02:34:14 +0000