aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Refactoring point movement commands (in progress). Remove proof-no-command.Gravatar David Aspinall2009-09-04
* Support for Emacs22Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* commentGravatar David Aspinall2009-09-04
* Use scomint instead of comintGravatar David Aspinall2009-09-04
* Remove further unnecessary compatibility code.Gravatar David Aspinall2009-09-04
* Profile settingsGravatar David Aspinall2009-09-04
* Trimmed down comintGravatar David Aspinall2009-09-04
* Remove objectionable |> shortcut for Isar hackersGravatar David Aspinall2009-09-03
* Shorten startup messageGravatar David Aspinall2009-09-03
* output-font-lock-keywords: remove unnecessary bracketsGravatar David Aspinall2009-09-03
* Fix font-lock output keywords for tvars starting ?'Gravatar David Aspinall2009-09-03
* Isabelle2008 compatibility;Gravatar Makarius Wenzel2009-09-02
* proper backslash escape;Gravatar Makarius Wenzel2009-09-02
* Pointers for Mac supportGravatar David Aspinall2009-09-01
* Set version tag for new release.Gravatar David Aspinall2009-09-01
* UpdatesGravatar David Aspinall2009-09-01
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Attempt to make compatible with Mac OS X port of Emacs 23.Gravatar David Aspinall2009-09-01
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Remove some old X-Symbol references; update docs.Gravatar David Aspinall2009-09-01
* Spurious 'isabelle ref.Gravatar David Aspinall2009-09-01
* Remove (commented out) x-symbol configurationGravatar David Aspinall2009-09-01
* Comment about GNU Emacs portGravatar David Aspinall2009-09-01
* Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...Gravatar Christophe Raffalli2009-09-01
* hack with phox-prog-name and phox-prog-name-guess to have this phox folder wo...Gravatar Christophe Raffalli2009-09-01
* Removed support for x-symbol (I do not like it because it changes the buffer ...Gravatar Christophe Raffalli2009-09-01
* Unnecessary testGravatar David Aspinall2009-08-31
* Update versionsGravatar David Aspinall2009-08-31
* UpdatedGravatar David Aspinall2009-08-31
* Fix unicode-tokens-script-font-faceGravatar David Aspinall2009-08-31
* Support mouse font selection in Emacs 22.Gravatar David Aspinall2009-08-31
* Add Emacs 23 warning.Gravatar David Aspinall2009-08-31
* Experiments improving defaultsGravatar David Aspinall2009-08-31
* Pointer to Stix fontsGravatar David Aspinall2009-08-31
* Update docsGravatar David Aspinall2009-08-31
* Doc fixesGravatar David Aspinall2009-08-31
* Prevent reporting column number back to Isabelle processGravatar David Aspinall2009-08-31
* UpdatedGravatar David Aspinall2009-08-31
* Merge in Isar and Coq bugsGravatar David Aspinall2009-08-31
* Quick fix to isar-remove-file, see trac #274Gravatar David Aspinall2009-08-31
* Made customizable holes mode completion in abbreviations.Gravatar Pierre Courtieu2009-08-31
* Clean up IGNOREDFILES a bitGravatar David Aspinall2009-08-31
* Set version tag for new release.Gravatar David Aspinall2009-08-31
* Fix homeGravatar David Aspinall2009-08-31
* TokenizeGravatar David Aspinall2009-08-31
* Add custom docGravatar David Aspinall2009-08-31
* isar-symbol-shortcuts: add customizationGravatar David Aspinall2009-08-31
* Remove over-enthusiastic single-character shortcutsGravatar David Aspinall2009-08-31
* AttributionGravatar David Aspinall2009-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 23:13:00 +0000