aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Update PG's logoGravatar Clément Pit--Claudel2016-05-24
* More version number fixesGravatar Clément Pit--Claudel2016-02-13
* Merge pull request #22 from ProofGeneral/fix-scrolling-buffersGravatar Pierre Courtieu2016-01-06
|\
* | Fixing #25.Gravatar Pierre Courtieu2016-01-06
| * Fix spurious scrolling of *goals* and *response* buffersGravatar Clément Pit--Claudel2015-12-31
|/
* Experimenting less brutal frame deletion.Gravatar Pierre Courtieu2015-11-13
* Cleaning code for auto width adapting.Gravatar Pierre Courtieu2015-11-13
* proof-retract-command-hook added + more auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-13
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* Trying to not delete frames too eagerly when laying out.Gravatar Pierre Courtieu2015-10-09
* Fixing 4096 character limit of scomint-send-input.Gravatar Pierre Courtieu2015-10-09
* Set version tag for new release.Gravatar David Aspinall2015-03-13
* Summary: Compile warning on speedbar-add-supported-extensionGravatar David Aspinall2015-03-13
* Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...Gravatar David Aspinall2015-03-13
* Summary: Update version yearGravatar David Aspinall2015-03-11
* Fixes #503.Gravatar Pierre Courtieu2015-03-09
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* Set version tag for new release.Gravatar David Aspinall2015-02-02
* Set version tag for new release.Gravatar David Aspinall2015-01-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 21:37:05 +0000