aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* added -L option;Gravatar Makarius Wenzel2005-05-17
* Remove junkGravatar David Aspinall2005-03-25
* Use another symbolGravatar David Aspinall2005-03-23
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-02-15
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
* Remove print draft from menuGravatar David Aspinall2004-10-07
* TuneGravatar David Aspinall2004-08-25
* TuneGravatar David Aspinall2004-08-25
* Change syntax table for \ from word constituent to escape character.Gravatar David Aspinall2004-08-10
* Fix display_drafts -> print_draftsGravatar David Aspinall2004-07-23
* Fix index number back for isar-undo-remove-regexp, change isar-remove instead.Gravatar David Aspinall2004-06-17
* Fix grouping for isar-generic-expression.Gravatar David Aspinall2004-06-17
* Fix error regexps for matching additional comma printed in position [NB: for ...Gravatar David Aspinall2004-06-16
* Last change: added also isar-display-draft isar-print-draft forGravatar David Aspinall2004-06-16
* Fix for name matching changes grouping in isar-undo-remove-regexp.Gravatar David Aspinall2004-06-16
* Continue the grouping bug fix.Gravatar David Aspinall2004-06-16
* Fix another bug introduced by Gerwin's shy grouping "optimisations"...Gravatar David Aspinall2004-06-16
* Add functions for displaying/printing draft.Gravatar David Aspinall2004-06-13
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
* Patch from Brother MakariusGravatar David Aspinall2004-05-06
* Updated.Gravatar David Aspinall2004-04-17
* Add shortcuts for new X-Symbol sequences.Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* imenu todoGravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
* Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarGravatar David Aspinall2004-04-15
* Prevent setting WM title so Emacs can do its own thingGravatar David Aspinall2004-04-15
* New files.Gravatar David Aspinall2004-04-14
* Typo in imenu setup (not sure how that got committed)Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* Add imenu support.Gravatar David Aspinall2004-04-14
* Func-menu: fix bug in locale regexp. Add imenu support.Gravatar David Aspinall2004-04-14
* Fix to proof-goal-with-hole-result to agree with isar-syntax.elGravatar David Aspinall2004-04-14
* Fixes for function menu. Remove unnamed entities.Gravatar David Aspinall2004-04-14
* fixed regexp problem with function menuGravatar Gerwin Klein2004-04-14
* Set proof-goal-with-hole-result to account for use of shy grouping in goal-wi...Gravatar David Aspinall2004-04-13
* Update email and web addressesGravatar David Aspinall2004-02-08
* removed bold, no longer supported by x-symbolGravatar Gerwin Klein2003-12-23
* allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gravatar Gerwin Klein2003-10-16
* Remove proof-shell-interactive-input-regexp again!Gravatar David Aspinall2003-10-05
* Set proof-shell-interactive-input-regexpGravatar David Aspinall2003-10-05
* New files.Gravatar David Aspinall2003-09-24
* Yet another fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-09-05
* Corrected fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-08-29
* Fix from Sebastian Skalberg <skalberg@in.tum.de>Gravatar David Aspinall2003-08-28
* Fix SML comment syntax oopsGravatar David Aspinall2003-08-20