aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Remove link in tar file.Gravatar David Aspinall2013-05-31
* *** empty log message ***Gravatar joheras2013-05-31
* Removing hidden files of ML4PG.Gravatar joheras2013-05-31
* Removing hidden files from ML4PG.Gravatar joheras2013-05-31
* ML4PG modificationGravatar joheras2013-05-31
* Documentation of ML4PGGravatar joheras2013-05-31
* ML4PG functionality added to Coq menuGravatar joheras2013-05-30
* *** empty log message ***Gravatar joheras2013-05-30
* Adding some more standard utf8 symbols to indentation operator. WeGravatar Pierre Courtieu2013-05-30
* Fixing a minor bug in indetation (exists is tactic and a quantifier).Gravatar Pierre Courtieu2013-05-29
* Run make check before releaseGravatar David Aspinall2013-05-23
* make warnings non-fatal for normal compilation to fix #458, useGravatar Hendrik Tews2013-05-22
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 05:35:15 +0000