aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
1998-09-17Added item about proof-terminal-stringDavid Aspinall
1998-09-17integrated da's commentsThomas Kleymann
1998-09-17Added theory file mode from Isamode.David Aspinall
1998-09-17Wrote specification for handling multiple file development in section InternalsThomas Kleymann
1998-09-17Added cvsclean targetDavid Aspinall
1998-09-17Added docs to release and remoterelease target.David Aspinall
1998-09-17Fixed message about using several assistantsDavid Aspinall
1998-09-17Changed name of info file.David Aspinall
1998-09-17Fix in proof-shell-handle-outputDavid Aspinall
1998-09-17fixed a bug in proof-shell-filter and proof-shell-handle-ouputThomas Kleymann
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-16Added test schedule itemDavid Aspinall
1998-09-16Makefile for building every kind of target from texi.David Aspinall
1998-09-16Info directory entries for FSF and XEmacs.David Aspinall
Tested with both. Incredibly difficult to get right. localdir is better with XEmacs, but it will use dir in preference, 8-(.
1998-09-16Renamed texinfo file.David Aspinall
1998-09-16fixed implementation fo proof-find-next-terminator;Thomas Kleymann
it can now be used even when there is no corresponding proof process
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-07 23:45:57 +0000