aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-05-31Documentation of ML4PGjoheras
2013-05-30ML4PG functionality added to Coq menujoheras
2013-05-30*** empty log message ***joheras
2013-05-30Adding some more standard utf8 symbols to indentation operator. WePierre Courtieu
2013-05-29Fixing a minor bug in indetation (exists is tactic and a quantifier).Pierre Courtieu
2013-05-23Run make check before releaseDavid Aspinall
2013-05-22make warnings non-fatal for normal compilation to fix #458, useHendrik Tews
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
2013-05-22Retire Serifa font usageDavid Aspinall
2013-05-22Set version tag for new release.David Aspinall
2013-05-22Add ProofGeneral.jpg to distributionDavid Aspinall
2013-05-14- update coq exampleHendrik Tews
2013-05-10Set version tag for new release.David Aspinall
2013-04-19improve docHendrik Tews
2013-03-27add 4.3 news to user manualHendrik Tews
2013-03-27Set version tag for new release.David Aspinall
2013-03-05fix overwriting the empty compilation queueHendrik Tews
2013-02-20small improvementHendrik Tews
2013-02-18fix parallel Coq compilation: report error for circular dependenciesHendrik Tews
2013-02-18move message about killing coq compilation processesHendrik Tews
2013-02-18updated TAGSHendrik Tews
2013-01-28Update timestampesDavid Aspinall
2013-01-21- implement proof-script insertionHendrik Tews
2013-01-20- implement retract from prooftreeHendrik Tews
2013-01-17Fixed a bug with window height optimization.Pierre Courtieu
2013-01-17document latest changesHendrik Tews
2013-01-17- support Grab Existential Variables for ProoftreeHendrik Tews
2013-01-15fix overriding distclean targetHendrik Tews
2013-01-15removal of backup files (*~) moved to make distcleanHendrik Tews
2013-01-15- support bullets and braces in ProoftreeHendrik Tews
2013-01-11Set version tag for new release.David Aspinall
2013-01-10fix parallel overlapping calls of proof-shell-filterHendrik Tews
2013-01-03- fix asserting when parallel background compilation is in progressHendrik Tews
2012-11-15write CHANGESHendrik Tews
2012-11-14- fix problem in emergency process killingHendrik Tews
2012-11-14all-cpus option for coq-max-background-compilation-jobsHendrik Tews
2012-11-14fix coq-lock-ancestor for parallel compilationHendrik Tews
2012-11-14update documentationHendrik Tews
2012-11-13update TAGSHendrik Tews
2012-11-13- first version of parallel asynchronous compilation for coq inHendrik Tews
2012-11-13small typo fixesHendrik Tews
2012-11-09Doc for pg-finish-tracing-displayDavid Aspinall
2012-11-06move ancestor locking back into specific partHendrik Tews
2012-11-05move ancestor locking/unlocking to coq-compile-commonHendrik Tews
2012-11-05fix seq-seq misspellingHendrik Tews
2012-11-05move buffer saving to coq-compile-commonHendrik Tews
2012-11-03make coq-include-options independent of current bufferHendrik Tews
2012-11-03move another 2 functions into coq-compile-commonHendrik Tews
2012-11-01move function for coq-compile-response-buffer to coq-compile-common.elHendrik Tews
2012-11-01UpdateDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 07:29:07 +0000