aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Expand)Author
1998-10-12Bug in variable namesDavid Aspinall
1998-10-12Important regular expression fixes:David Aspinall
1998-10-07Disabled tags support for Isabelle.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-09-24MinorDavid Aspinall
1998-09-23Removed tags stuffDavid Aspinall
1998-09-23Added back isabelle-settings groupDavid 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 15:07:14 +0000