aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Adjust license to CC-BY-SA-3Gravatar David Aspinall2012-01-11
* Set version tag for new release.Gravatar David Aspinall2012-01-10
* Tweak message and display model, in particular, make sure that when aGravatar David Aspinall2012-01-10
* Note about make -j for parallel compilationGravatar David Aspinall2012-01-10
* Emphasise importance of TracGravatar David Aspinall2012-01-10
* Mention critical Emacs bug which destroys characters in certainGravatar David Aspinall2012-01-10
* Add documentation for proof-shell-trace-output-regexp (Trac #432) andGravatar David Aspinall2012-01-10
* Support proof-shell-interactive-prompt-regexp, ref Trac #430Gravatar David Aspinall2012-01-10
* Improve configuration for HOL Light. Allow goals display to be prefixed by i...Gravatar David Aspinall2012-01-09
* proof-shell-start-goals-regexp: shy match to avoid introducing match groupGravatar David Aspinall2012-01-09
* proof-shell-end-goals-regexp doc: fix inaccuracy, goals always startGravatar David Aspinall2012-01-09
* Make configuration settings. Tweak error regexp.Gravatar David Aspinall2012-01-06
* Update variable docs. Use HOL Light instead of HOL98.Gravatar David Aspinall2012-01-05
* Temporarily enable HOL Light globally for testingGravatar David Aspinall2012-01-05
* Some fixes to get a working instance for HOL Light. Work in progress.Gravatar David Aspinall2012-01-05
* * fix case where some existential is instantiated with the last proof commandGravatar Hendrik Tews2012-01-04
* Set version tag for new release.Gravatar David Aspinall2012-01-04
* Add link to Prooftree downloadGravatar David Aspinall2012-01-04
* Add News for Version 4.2Gravatar David Aspinall2012-01-03
* Remove unused variableGravatar David Aspinall2012-01-03
* hide the dependent evars lineGravatar Hendrik Tews2012-01-03
* update CHANGESGravatar Hendrik Tews2012-01-03
* update TAGSGravatar Hendrik Tews2012-01-03
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Add big IntegralGravatar David Aspinall2011-12-27
* Extra testGravatar David Aspinall2011-12-27
* TypoGravatar David Aspinall2011-12-27
* Will release 4.2 next, after allGravatar David Aspinall2011-12-23
* Fixed some regexp. One for goal closing detection and one forGravatar Pierre Courtieu2011-12-16
* Adapting coq syntax recognition to the future v8.4 behavior of bulletsGravatar Pierre Courtieu2011-12-16
* Set version tag for new release.Gravatar David Aspinall2011-12-07
* - protect proof-shell-handle-delayed-output against the case whereGravatar Hendrik Tews2011-12-07
* fix a log of broken customization typesGravatar Hendrik Tews2011-12-06
* use the start of proof-shell-end-goals-regexp, as documentedGravatar Hendrik Tews2011-12-06
* ensure optim-resp-window does not change the current bufferGravatar Hendrik Tews2011-12-06
* Applied a patch from Tom Prince which makesGravatar Pierre Courtieu2011-12-05
* Quick stab at support for switching to proof shell when interactive support e...Gravatar David Aspinall2011-11-15
* Suggest PG 4.1.1 will be released nextGravatar David Aspinall2011-11-15
* Small fixes to coq smie indentation.Gravatar Pierre Courtieu2011-11-14
* Fixed coq smie indentation.Gravatar Pierre Courtieu2011-11-11
* Fixed coq smie indentation.Gravatar Pierre Courtieu2011-11-10
* fixed some small bugs in coq indentation smie code.Gravatar Pierre Courtieu2011-11-10
* Add web style sheet to doc output (work in progress)Gravatar David Aspinall2011-11-09
* added utf8 quantifiers for indentation + small fix in indentation.Gravatar Pierre Courtieu2011-11-08
* Fixing syntax.Gravatar Pierre Courtieu2011-11-07
* Fixed a bit more smie coq indentation. Still unfinished but useable.Gravatar Pierre Courtieu2011-11-07
* Fixed several more bugs in smie indentation code. Not finished.Gravatar Pierre Courtieu2011-11-05
* slowly fixing the last small bugs in smie indentation.Gravatar Pierre Courtieu2011-11-04
* Fix previous commit (again).Gravatar Pierre Courtieu2011-11-04
* Fix previous commit.Gravatar Pierre Courtieu2011-11-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 08:01:02 +0000