aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
1998-10-27Fixed urgent message stuff. proof-shell-process-urgent-messagesDavid Aspinall
now seems to correctly observe all messages which pass through.
1998-10-27Renamed proof-invisible-command proof-shell-invisible-command.David Aspinall
Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
1998-10-27Work on Isabelle theory reader.David Aspinall
1998-10-26Fix buglet for when script buffer has no filename.David Aspinall
1998-10-26Changes for locked regions in theory filesDavid Aspinall
1998-10-26Removed Isamode-specific keybindingsDavid Aspinall
1998-10-23Added new theory file sectionsDavid Aspinall
1998-10-23Added support for locking Isabelle .thy files blue.David Aspinall
1998-10-23Greatly simplified by new functions in IsabelleDavid Aspinall
1998-10-23Added proof-mode-for-script setting.David Aspinall
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
1998-10-22retract_file also works on files without .thy partners.David Aspinall
1998-10-22Prevented .thy files from appearing in message buffer.David Aspinall
1998-10-22Only load theory for script file if no locked region yetDavid Aspinall
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21Improved multiple file implementationDavid Aspinall
1998-10-21Added functions to support multiple files, sending use_thy to IsabelleDavid Aspinall
1998-10-21Used new get_thy_filenames function from Isabelle 98-1David Aspinall
1998-10-20Isabelle program name is just 'isabelle'David Aspinall
1998-10-20Removed duplicate proofDavid Aspinall
1998-10-19Customization for multiple filesDavid Aspinall
1998-10-12Bug in variable namesDavid Aspinall
1998-10-12Important regular expression fixes:David Aspinall
-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
1998-10-12Removed proof-shell-error-regexp's match on warnings -- wrong!David Aspinall
1998-10-07Disabled tags support for Isabelle.David Aspinall
Removed isabelle-settings defcustom, renamed to isabelle-. Renamed some customization variables isabelle-* for nice display in menus. Removed proof-assistant setting. Removed proof-global-p and isa-global-p. Renamed isa-thy-mode to thy-mode.
1998-10-07Renamed isa-thy-* to thy-*David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-02Removed duff key bindingsDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Changed configuration. Added goal-command and save-command.David Aspinall
1998-10-01Renamed fileDavid Aspinall
1998-09-24MinorDavid Aspinall
1998-09-23Missing bracket addedDavid Aspinall
1998-09-23Removed tags stuffDavid Aspinall
1998-09-23Added back isabelle-settings groupDavid 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-17Added theory file mode from Isamode.David Aspinall
1998-09-11Fixes to syntax and startup function.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-08More features working. Added example.David Aspinall
1998-09-03Renamed/added defcustom support.David Aspinall
1998-09-03Added Isabelle example and skeleton for Coq and Lego.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 23:19:18 +0000