aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2007-12-10
* New files.Gravatar David Aspinall2007-12-09
* Patch for buggy derived.el in XEmacs 21.5.b28Gravatar David Aspinall2007-12-09
* New files.Gravatar David Aspinall2007-12-08
* Set version tag for new release.Gravatar David Aspinall2007-11-12
* Use %{version} tag in source file nameGravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* New files.Gravatar David Aspinall2007-09-17
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* proper use of ProofGeneral.sendback;Gravatar Makarius Wenzel2007-08-20
* Set version tag for new release.Gravatar David Aspinall2007-08-19
* Test ProofGeneral.sendbackGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Updated.Gravatar David Aspinall2007-05-25
* New files.Gravatar David Aspinall2007-05-25
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Set version tag for new release.Gravatar David Aspinall2007-03-12
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Demonstrate faulty error reporting. Somewhat obscure, unless someGravatar David Aspinall2007-01-03
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* Set version tag for new release.Gravatar David Aspinall2006-10-27
* Set version tag for new release.Gravatar David Aspinall2006-09-24
* Updated.Gravatar David Aspinall2006-09-22
* Tweak.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Mention Emacs menu for debug boxesGravatar David Aspinall2006-08-23
* Change to new Isabelle syntaxGravatar David Aspinall2006-07-26
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* tuned comment;Gravatar Makarius Wenzel2005-09-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 22:00:24 +0000