aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* New files.Gravatar David Aspinall2008-02-17
* Set version tag for new release.Gravatar David Aspinall2008-02-06
* Deleted fileGravatar David Aspinall2008-02-03
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Fix dateGravatar David Aspinall2008-01-31
* Remove semi-colons. Literal commands triggered in response bufferGravatar David Aspinall2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Move to .tgzGravatar David Aspinall2008-01-30
* Set version tag for new release.Gravatar David Aspinall2008-01-30
* New files.Gravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-29
* Set version tag for new release.Gravatar David Aspinall2008-01-29
* New files.Gravatar David Aspinall2008-01-29
* Set version tag for new release.Gravatar David Aspinall2008-01-27
* Updated.Gravatar David Aspinall2008-01-25
* Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-25
* Set version tag for new release.Gravatar David Aspinall2008-01-25
* Set version tag for new release.Gravatar David Aspinall2008-01-24
* Deleted fileGravatar David Aspinall2008-01-24
* Set version tag for new release.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-17
* Set version tag for new release.Gravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2008-01-15
* Set version tag for new release.Gravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Set version tag for new release.Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* New files.Gravatar David Aspinall2007-12-14
* New files.Gravatar David Aspinall2007-12-13
* Renamed fileGravatar David Aspinall2007-12-13
* Deleted fileGravatar David Aspinall2007-12-12
* Deleted fileGravatar David Aspinall2007-12-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 00:18:31 +0000