index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
Commit message (
Expand
)
Author
Age
*
Fixed bug in Isabelle count undos. Now uses undo instead of choplev.
David Aspinall
1998-10-28
*
Mods for cleaner byte compile
David Aspinall
1998-10-27
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
Fixed urgent message stuff. proof-shell-process-urgent-messages
David Aspinall
1998-10-27
*
Renamed proof-invisible-command proof-shell-invisible-command.
David Aspinall
1998-10-27
*
Work on Isabelle theory reader.
David Aspinall
1998-10-27
*
Fix buglet for when script buffer has no filename.
David Aspinall
1998-10-26
*
Changes for locked regions in theory files
David Aspinall
1998-10-26
*
Removed Isamode-specific keybindings
David Aspinall
1998-10-26
*
Added new theory file sections
David Aspinall
1998-10-23
*
Added support for locking Isabelle .thy files blue.
David Aspinall
1998-10-23
*
Greatly simplified by new functions in Isabelle
David Aspinall
1998-10-23
*
Added proof-mode-for-script setting.
David Aspinall
1998-10-23
*
Replaced remaining face defs with defface calls.
David Aspinall
1998-10-23
*
retract_file also works on files without .thy partners.
David Aspinall
1998-10-22
*
Prevented .thy files from appearing in message buffer.
David Aspinall
1998-10-22
*
Only load theory for script file if no locked region yet
David Aspinall
1998-10-22
*
Added notes on Isa multi files, web page improvements
David Aspinall
1998-10-22
*
Improved multiple file implementation
David Aspinall
1998-10-21
*
Added functions to support multiple files, sending use_thy to Isabelle
David Aspinall
1998-10-21
*
Used new get_thy_filenames function from Isabelle 98-1
David Aspinall
1998-10-21
*
Isabelle program name is just 'isabelle'
David Aspinall
1998-10-20
*
Removed duplicate proof
David Aspinall
1998-10-20
*
Customization for multiple files
David Aspinall
1998-10-19
*
Bug in variable names
David Aspinall
1998-10-12
*
Important regular expression fixes:
David Aspinall
1998-10-12
*
Removed proof-shell-error-regexp's match on warnings -- wrong!
David Aspinall
1998-10-12
*
Disabled tags support for Isabelle.
David Aspinall
1998-10-07
*
Renamed isa-thy-* to thy-*
David Aspinall
1998-10-07
*
changed maintainer information to lego@dcs and isabelle@dcs .
Thomas Kleymann
1998-10-02
*
Removed duff key bindings
David Aspinall
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Changed configuration. Added goal-command and save-command.
David Aspinall
1998-10-01
*
Renamed file
David Aspinall
1998-10-01
*
Minor
David Aspinall
1998-09-24
*
Missing bracket added
David Aspinall
1998-09-23
*
Removed tags stuff
David Aspinall
1998-09-23
*
Added back isabelle-settings group
David Aspinall
1998-09-23
*
Error regular expression also matches warnings from Isabelle
David Aspinall
1998-09-23
*
Changed customization group, added goal command, better docs
David Aspinall
1998-09-23
*
Added theory file mode from Isamode.
David Aspinall
1998-09-17
*
Fixes to syntax and startup function.
David Aspinall
1998-09-11
*
Added Id to headers.
David Aspinall
1998-09-09
*
More features working. Added example.
David Aspinall
1998-09-08
*
Renamed/added defcustom support.
David Aspinall
1998-09-03
*
Added Isabelle example and skeleton for Coq and Lego.
David Aspinall
1998-09-03