aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
1999-11-09Set version tag for new release.David Aspinall
1999-11-08Copyright messages updated.David Aspinall
1999-11-02Set version tag for new release.David Aspinall
1999-10-22Set version tag for new release.David Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-20Made proof-site only load once.David Aspinall
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
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-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-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-24Set version tag for new release.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-19Set version tag for new release.David Aspinall
1999-08-17Set version tag for new release.David Aspinall
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-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-07Set version tag for new release.proofgen
1999-05-11added proof system "plastic", triggered by a .lf extensionPaul Callaghan
1999-05-03*** empty log message ***Patrick Loiseleur
1999-05-03proof-home-directory is correct even if $PROOFGENERAL_HOME does notPatrick Loiseleur
1999-04-16added 'isar proof assistant;Makarius Wenzel
1999-04-07Set version tag for new release.proofgen
1999-02-22Set version tag for new release.David Aspinall
1999-02-22DocstringDavid Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1999-02-01Set version tag for new release.David Aspinall
1999-01-15Set version tag for new release.David Aspinall
1999-01-12Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 10:55:57 +0000