aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* Retire Serifa font usageGravatar David Aspinall2013-05-22
* Set version tag for new release.Gravatar David Aspinall2013-05-22
* Add ProofGeneral.jpg to distributionGravatar David Aspinall2013-05-22
* - update coq exampleGravatar Hendrik Tews2013-05-14
* Set version tag for new release.Gravatar David Aspinall2013-05-10
* improve docGravatar Hendrik Tews2013-04-19
* add 4.3 news to user manualGravatar Hendrik Tews2013-03-27
* Set version tag for new release.Gravatar David Aspinall2013-03-27
* fix overwriting the empty compilation queueGravatar Hendrik Tews2013-03-05
* small improvementGravatar Hendrik Tews2013-02-20
* fix parallel Coq compilation: report error for circular dependenciesGravatar Hendrik Tews2013-02-18
* move message about killing coq compilation processesGravatar Hendrik Tews2013-02-18
* updated TAGSGravatar Hendrik Tews2013-02-18
* Update timestampesGravatar David Aspinall2013-01-28
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* Fixed a bug with window height optimization.Gravatar Pierre Courtieu2013-01-17
* document latest changesGravatar Hendrik Tews2013-01-17
* - support Grab Existential Variables for ProoftreeGravatar Hendrik Tews2013-01-17
* fix overriding distclean targetGravatar Hendrik Tews2013-01-15
* removal of backup files (*~) moved to make distcleanGravatar Hendrik Tews2013-01-15
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* Set version tag for new release.Gravatar David Aspinall2013-01-11
* fix parallel overlapping calls of proof-shell-filterGravatar Hendrik Tews2013-01-10
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* write CHANGESGravatar Hendrik Tews2012-11-15
* - fix problem in emergency process killingGravatar Hendrik Tews2012-11-14
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* fix coq-lock-ancestor for parallel compilationGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* update TAGSGravatar Hendrik Tews2012-11-13
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* small typo fixesGravatar Hendrik Tews2012-11-13
* Doc for pg-finish-tracing-displayGravatar David Aspinall2012-11-09
* move ancestor locking back into specific partGravatar Hendrik Tews2012-11-06
* move ancestor locking/unlocking to coq-compile-commonGravatar Hendrik Tews2012-11-05
* fix seq-seq misspellingGravatar Hendrik Tews2012-11-05
* move buffer saving to coq-compile-commonGravatar Hendrik Tews2012-11-05
* make coq-include-options independent of current bufferGravatar Hendrik Tews2012-11-03
* move another 2 functions into coq-compile-commonGravatar Hendrik Tews2012-11-03
* move function for coq-compile-response-buffer to coq-compile-common.elGravatar Hendrik Tews2012-11-01
* UpdateGravatar David Aspinall2012-11-01
* rename entities in coq-seq-compileGravatar Hendrik Tews2012-10-30
* move some more material into coq-compile-commonGravatar Hendrik Tews2012-10-30
* update TAGSGravatar Hendrik Tews2012-10-30
* move general part of compilation into coq-compile-common.elGravatar Hendrik Tews2012-10-30
* move coq compilation into coq/coq-seq-compile.elGravatar Hendrik Tews2012-10-30
* Set version tag for new release.Gravatar David Aspinall2012-10-19
* Updates for PG 4.3Gravatar David Aspinall2012-10-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 17:32:55 +0000