aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
1999-01-15Set version tag for new release.David Aspinall
1999-01-12Set version tag for new release.David Aspinall
1998-12-18Set version tag for new release.David Aspinall
1998-12-18Added proof-assistant-symbolDavid 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-16Set version tag for new release.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-15Set version tag for new release.David Aspinall
1998-12-15Docstring fix.David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14Gave up on buggy Emacs 19 support, now give error for Emacs 19.David Aspinall
1998-12-11Set version tag for new release.David Aspinall
1998-12-07Set version tag for new release.David Aspinall
1998-11-26Set version tag for new release.David Aspinall
1998-11-26Quotes added to try to fix markup.David Aspinall
1998-11-25Set version tag for new release.David Aspinall
1998-11-25Documentation improvements.David Aspinall
1998-11-25docstring fixes and alterations.David Aspinall
1998-11-20Set version tag for new release.David Aspinall
1998-11-10Set version tag for new release.David Aspinall
1998-11-06Give error message when attempting to load a second instance of ProofDavid Aspinall
1998-11-04Set version tag for new release.David Aspinall
1998-11-03Set version tag for new release.Thomas Kleymann
1998-11-02Set version tag for new release.Thomas Kleymann
1998-10-30Set version tag for new release.Thomas Kleymann
1998-10-29Set version tag for new release.David Aspinall
1998-10-29Added automatic <prover>-config customize groupDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-29Added prefixes in custom defgroups.David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26Note about bogus compiler warningDavid Aspinall
1998-10-22Set version tag for new release.Thomas Kleymann
1998-10-22Separated splash screen codeDavid Aspinall
1998-10-21Fixed info directory setting so more robust and works for FSF GNU EmacsDavid Aspinall
1998-10-21Changed from forcing w3 to using customizable browse-urlDavid Aspinall
1998-10-20Set version tag for new release.David Aspinall
1998-10-15Set version tag for new release.David Aspinall
1998-10-14Set version tag for release.David Aspinall
1998-10-13Set version tag for release.David Aspinall
1998-10-12Fixed broken taggingDavid Aspinall
1998-10-12Added todo for proof-issue-goal, proof-issue-save.David Aspinall
1998-10-12Removed proof-internal cus grp from proof group.David Aspinall
1998-10-07Munged name of customization variables so that menus display nicely.David Aspinall
1998-10-02Added $ to coq automode regexpDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 03:14:56 +0000