aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2016-09-25proof-retract-before-change: Fix #41 by saving/restoring the match data.Erik Martin-Dorel
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-09-16Fix reference to log-warning-minimum-levelpsteckler
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2016-07-04Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Erik Martin-Dorel
2016-06-10Reset proof-script-buffer to nil if -ready-prover failsClément Pit--Claudel
2016-05-24Update PG's logoClément Pit--Claudel
2016-02-13More version number fixesClément Pit--Claudel
2016-01-06Merge pull request #22 from ProofGeneral/fix-scrolling-buffersPierre Courtieu
2016-01-06Fixing #25.Pierre Courtieu
2015-12-31Fix spurious scrolling of *goals* and *response* buffersClément Pit--Claudel
2015-11-13Experimenting less brutal frame deletion.Pierre Courtieu
2015-11-13Cleaning code for auto width adapting.Pierre Courtieu
2015-10-13proof-retract-command-hook added + more auto adjust width in coq mode.Pierre Courtieu
2015-10-12proof-assert-command-hook added + Auto adjust width in coq mode.Pierre Courtieu
2015-10-09Trying to not delete frames too eagerly when laying out.Pierre Courtieu
2015-10-09Fixing 4096 character limit of scomint-send-input.Pierre Courtieu
2015-03-13Set version tag for new release.David Aspinall
2015-03-13Summary: Compile warning on speedbar-add-supported-extensionDavid Aspinall
2015-03-13Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...David Aspinall
2015-03-11Summary: Update version yearDavid Aspinall
2015-03-09Fixes #503.Pierre Courtieu
2015-02-04cleaned previous commits (generic variable to disable error coloring).Pierre Courtieu
2015-02-02Set version tag for new release.David Aspinall
2015-01-05Set version tag for new release.David Aspinall
2014-12-22Fixed a compilation issue + small display glitch in coqpgPierre Courtieu
2014-12-22Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Pierre Courtieu
2014-12-18Fixed response display spurious newlines for coq.Pierre Courtieu
2014-06-06Don't mess with overlay priorities.Stefan Monnier
2014-06-04* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Stefan Monnier
2014-06-02* pg-response.el (proof-multiple-frames-enable, proof-next-error): Use newStefan Monnier
2013-10-11Set version tag for new release.David Aspinall
2013-07-17Set version tag for new release.David Aspinall
2013-07-05Set version tag for new release.David Aspinall
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
2013-05-22Set version tag for new release.David Aspinall
2013-05-10Set version tag for new release.David Aspinall
2013-03-27Set version tag for new release.David Aspinall
2013-01-21- implement proof-script insertionHendrik Tews
2013-01-20- implement retract from prooftreeHendrik Tews
2013-01-17- support Grab Existential Variables for ProoftreeHendrik 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-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-10-19Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:04:56 +0000