aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Used new get_thy_filenames function from Isabelle 98-1Gravatar David Aspinall1998-10-21
* Isabelle program name is just 'isabelle'Gravatar David Aspinall1998-10-20
* Removed duplicate proofGravatar David Aspinall1998-10-20
* Customization for multiple filesGravatar David Aspinall1998-10-19
* Bug in variable namesGravatar David Aspinall1998-10-12
* Important regular expression fixes:Gravatar David Aspinall1998-10-12
* Removed proof-shell-error-regexp's match on warnings -- wrong!Gravatar David Aspinall1998-10-12
* Disabled tags support for Isabelle.Gravatar David Aspinall1998-10-07
* Renamed isa-thy-* to thy-*Gravatar David Aspinall1998-10-07
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Removed duff key bindingsGravatar David Aspinall1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Changed configuration. Added goal-command and save-command.Gravatar David Aspinall1998-10-01
* Renamed fileGravatar David Aspinall1998-10-01
* MinorGravatar David Aspinall1998-09-24
* Missing bracket addedGravatar David Aspinall1998-09-23
* Removed tags stuffGravatar David Aspinall1998-09-23
* Added back isabelle-settings groupGravatar David Aspinall1998-09-23
* Error regular expression also matches warnings from IsabelleGravatar David Aspinall1998-09-23
* Changed customization group, added goal command, better docsGravatar David Aspinall1998-09-23
* Added theory file mode from Isamode.Gravatar David Aspinall1998-09-17
* Fixes to syntax and startup function.Gravatar David Aspinall1998-09-11
* Added Id to headers.Gravatar David Aspinall1998-09-09
* More features working. Added example.Gravatar David Aspinall1998-09-08
* Renamed/added defcustom support.Gravatar David Aspinall1998-09-03
* Added Isabelle example and skeleton for Coq and Lego.Gravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 14:48:07 +0000