aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Collapse)Author
1998-11-25docstring fixes and alterations.David Aspinall
Directory variables are no longer user options.
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
General, and give up loading. To save embarrasment in demos, 8-).
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
Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much).
1998-10-02Added $ to coq automode regexpDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-23Removed "myass" test entry.David Aspinall
1998-09-23Made configuration more sophisticated:David Aspinall
. proof-general-supported-assistants is master table of names & autoloads. . proof-home is calculated automatically from load-file-name
1998-09-16Bug in regexp for isa auto-mode-alist.David Aspinall
1998-09-16Moved proof-info-dir into proof-site and defcustom'd it.David Aspinall
Set the Info directory list there rather than after proof.el has loaded. Add the proof-info-dir onto the end of Info-default-directory-list, not the start.
1998-09-16Isabelle Proof General loads for .thy as well as .ML files.David Aspinall
1998-09-14Changed proof-assistant into proof-assistants to support autoloads for more ↵David Aspinall
than one prover
1998-09-10Set version tag for release.David Aspinall
1998-09-10Set version tag for release.David Aspinall
1998-09-10Added proof-general-versionDavid Aspinall
1998-09-08Made customize variables user-visibleDavid Aspinall
1998-09-08Added image directory for toolbar iconsDavid Aspinall
1998-09-08Layout.David Aspinall
1998-09-03Site-wide configuration for proof mode.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 16:04:02 +0000