aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-10-01Changed configuration. Added goal-command and save-command.David Aspinall
1998-10-01Added doc stringsDavid Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
Removed last of "not authorized for this documentation" nonsense. Replaced constant string "COMMENT" by proof-no-command. Begun work on new functions: proof-{next,previous}-matching-command. Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
1998-10-01Updated.David Aspinall
1998-10-01Renamed fileDavid Aspinall
1998-10-01Added new imagesDavid Aspinall
1998-10-01coqtags is now Perl5 compatible - courtesy of hhgThomas Kleymann
1998-09-24Removed pdf target so build works on standard DCS machines.David Aspinall
1998-09-24Removed xcf files and image notes from distrib.David Aspinall
1998-09-24Added RPM targetsDavid Aspinall
1998-09-24Added X-rated item about distribution Makefile.David Aspinall
1998-09-24Moved info file and binaries to proper places.David Aspinall
1998-09-24Added INFO-DIR entryDavid Aspinall
1998-09-24Moved to /usr/lib/emacsDavid Aspinall
1998-09-24Added %cleanDavid Aspinall
1998-09-24Added note about changing perl path in {coq,lego}tags.David Aspinall
1998-09-24Removed .orig files after patchDavid Aspinall
1998-09-24For building nice package on Linux.David Aspinall
1998-09-24Fine tuning.David Aspinall
1998-09-24Removed Makefiles from distribution.David Aspinall
1998-09-24New repository nameDavid Aspinall
1998-09-24Item for toolbar icons in low-colour modesDavid Aspinall
1998-09-24Removed more references to ~lego.David Aspinall
1998-09-24Adjusted directories to /home/proofgenDavid Aspinall
1998-09-24Removed lego email address, support level notes.David Aspinall
1998-09-24MinorDavid Aspinall
1998-09-23Example file suggested by Healf.David Aspinall
1998-09-23Updated instructionsDavid Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-23Missing bracket addedDavid Aspinall
1998-09-23Added more notes about specialization to new provers.David Aspinall
1998-09-23Removed historyDavid Aspinall
1998-09-23Added todo for making completion more flexible, not nec. using tagsDavid Aspinall
1998-09-23Removed tags stuffDavid Aspinall
1998-09-23Added back isabelle-settings groupDavid Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-23Error regular expression also matches warnings from IsabelleDavid Aspinall
1998-09-23Changed customization group, added goal command, better docsDavid Aspinall
1998-09-23Changed customization group and removed nagging not-busy error messageDavid Aspinall
1998-09-23Removed history, added branding.David Aspinall
1998-09-23Removed toolbar stuff, added items about user-level functions and read-onlyDavid Aspinall
1998-09-23Added FORCE dependency for docs.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-22Cleaned up and improved some code, added docstrings, FIXMEs.David Aspinall
Added proof-issue-goal and proof-goal-command. Rearranged to get ready for splitting into proof-script and proof-shell. Added proof-one-command-per-line user option.
1998-09-22Added new buttons, changed icons.David Aspinall
1998-09-22Fixed docstrings for derived modesDavid Aspinall
1998-09-22New CD-player type iconsDavid Aspinall
1998-09-22Master files for icons.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-13 05:00:17 +0000