aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Fixed a compilation issue + small display glitch in coqpgGravatar Pierre Courtieu2014-12-22
* Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Gravatar Pierre Courtieu2014-12-22
* Fixed response display spurious newlines for coq.Gravatar Pierre Courtieu2014-12-18
* Don't mess with overlay priorities.Gravatar Stefan Monnier2014-06-06
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
* * pg-response.el (proof-multiple-frames-enable, proof-next-error): Use newGravatar Stefan Monnier2014-06-02
* Set version tag for new release.Gravatar David Aspinall2013-10-11
* Set version tag for new release.Gravatar David Aspinall2013-07-17
* Set version tag for new release.Gravatar David Aspinall2013-07-05
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* Set version tag for new release.Gravatar David Aspinall2013-05-22
* Set version tag for new release.Gravatar David Aspinall2013-05-10
* Set version tag for new release.Gravatar David Aspinall2013-03-27
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* - support Grab Existential Variables for ProoftreeGravatar Hendrik Tews2013-01-17
* - 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
* - 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
* Set version tag for new release.Gravatar David Aspinall2012-10-19
* Set version tag for new release.Gravatar David Aspinall2012-10-19
* Fixed a bug in three windows mode.Gravatar Pierre Courtieu2012-09-25
* Fixed docstring of proof-layout-windows for two columns mode.Was notGravatar Pierre Courtieu2012-09-24
* Fixing a docstring.Gravatar Pierre Courtieu2012-09-24
* Completing the possible layouts of proof-layout-windows (added the 3Gravatar Pierre Courtieu2012-09-24
* Set version tag for new release.Gravatar David Aspinall2012-09-14
* proof-shell-process-connection-type: try using pipes by default in Emacs 24,Gravatar David Aspinall2012-09-14
* treat #450 by requiring that proofs are started with ProofGravatar Hendrik Tews2012-09-12
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* Set version tag for new release.Gravatar David Aspinall2012-09-04
* Disable HOL Light support for release versionGravatar David Aspinall2012-09-04
* Fix headerGravatar David Aspinall2012-09-02
* Set version tag for new release.Gravatar David Aspinall2012-09-02
* Three windows mode is back as the default mode.Gravatar Pierre Courtieu2012-08-31
* Changed the behaviour of proof-layout-windows. Now it follows theGravatar Pierre Courtieu2012-08-31
* Setting nil by default the option to create resp and goals bufferGravatar Pierre Courtieu2012-08-31
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* Better colours on dark framesGravatar David Aspinall2012-08-16
* Set version tag for new release.Gravatar David Aspinall2012-08-14
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* fix 443 by enforcing that the prover is not busy in proof-retract-until-pointGravatar Hendrik Tews2012-08-14
* Set version tag for new release.Gravatar David Aspinall2012-08-09
* Set version tag for new release.Gravatar David Aspinall2012-07-27
* Set version tag for new release.Gravatar David Aspinall2012-07-23
* Patch to allow byte compilation without X, reported on Gentoo via Ulrich MuellerGravatar David Aspinall2012-07-15
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 05:17:16 +0000