aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Support dynamic customization. Add additional shortcuts handy for symbolizing...Gravatar David Aspinall2009-08-30
* Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...Gravatar David Aspinall2009-08-30
* Cleanup of interactive point moving functions (in progress)Gravatar David Aspinall2009-08-29
* isar-positions-of: skip whitespace before command startGravatar David Aspinall2009-08-29
* isar-nonwrap-regexp: ML should work (note that there are *many* ML commands);Gravatar Makarius Wenzel2009-08-28
* pg-create-in-span-context-menu: fix nestingGravatar David Aspinall2009-08-28
* Fix compile warningsGravatar David Aspinall2009-08-28
* Update autoloadsGravatar David Aspinall2009-08-28
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
* Add convenience function for profilingGravatar David Aspinall2009-08-28
* Add a fontGravatar David Aspinall2009-08-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 06:10:00 +0000