aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Merge pull request #163 from ProofGeneral/fix_indentationGravatar Pierre Courtieu2017-03-03
|\
* | Remove default key-binding for proof-electric-terminator-toggle.Gravatar Erik Martin-Dorel2017-03-03
* | Removing spurious debug messages.Gravatar Pierre Courtieu2017-02-24
* | Fixing #154.Gravatar Pierre Courtieu2017-02-23
| * Merge branch 'master' of github.com:ProofGeneral/PG into master_originGravatar Pierre Courtieu2017-01-26
| |\ | |/ |/|
| * annoying missing parentheisis in a comment.Gravatar Pierre Courtieu2017-01-24
* | save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* | split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* | move phox from main to obscure instancesGravatar Hendrik Tews2017-01-17
* | Merge pull request #44 from EasyCrypt/masterGravatar hendriktews2017-01-17
|\ \
* | | Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
| |/ |/|
* | Merge remote-tracking branch 'OFFICIAL/master'Gravatar Pierre Courtieu2017-01-04
|\ \
* | | Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04
| * | fix prooftree crash with long evar linesGravatar Hendrik Tews2016-12-28
| * | fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
| * | Merge pull request #129 from hendriktews/keep-goingGravatar hendriktews2016-12-14
|/| |
* | | Merge pull request #132 from Matafou/masterGravatar Pierre Courtieu2016-12-14
|\ \ \
| * | | remove default absolute name from coq-prog-name, but keep dipsplaying it when...Gravatar Pierre Courtieu2016-12-12
| | * | option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
| |/ / |/| |
* | | fix 2 compilation warnings (fixes #33)Gravatar Hendrik Tews2016-11-30
|/ /
* | fix error in process filter: Cannot resize windowGravatar Hendrik Tews2016-11-02
* | proof-retract-before-change: Fix #41 by saving/restoring the match data.Gravatar Erik Martin-Dorel2016-09-25
* | Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* | Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* | Fix reference to log-warning-minimum-levelGravatar psteckler2016-09-16
* | Ensure PG overlays have pg-span property (#98)Gravatar Tej Chajed2016-08-25
* | Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Gravatar Erik Martin-Dorel2016-07-04
* | Reset proof-script-buffer to nil if -ready-prover failsGravatar Clément Pit--Claudel2016-06-10
* | Update PG's logoGravatar Clément Pit--Claudel2016-05-24
* | More version number fixesGravatar Clément Pit--Claudel2016-02-13
| * Import EasyCrypt PG modeGravatar Pierre-Yves Strub2016-01-29
|/
* 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