aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Summary: remove non-BSD cp argGravatar David Aspinall2015-03-13
* Update dates for release next monthGravatar David Aspinall2015-03-13
* Summary: Experimental DockerfileGravatar David Aspinall2015-03-13
* Set version tag for new release.Gravatar David Aspinall2015-03-13
* Summary: FAQ about copying output into new buffersGravatar David Aspinall2015-03-13
* Summary: Fix to work with dark color themes (stipple with header-line face)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
* Some comments for future work.Gravatar Pierre Courtieu2015-03-13
* Summary: Revert change to default EMACSGravatar David Aspinall2015-03-13
* (fixes last commit) Added a command to send Queries to coq, with completion (...Gravatar Pierre Courtieu2015-03-13
* Added a command to send Queries to coq, with completion (C-c C-a C-q).Gravatar Pierre Courtieu2015-03-13
* Summary: Update version yearGravatar David Aspinall2015-03-11
* Summary: Build in default path for Isabelle2014 Mac packageGravatar David Aspinall2015-03-11
* Added bug fixes in CHANGES.Gravatar Pierre Courtieu2015-03-09
* Fixes #503.Gravatar Pierre Courtieu2015-03-09
* Fixed stuff in CHANGES.Gravatar Pierre Courtieu2015-03-05
* Customization variables for modules, section and proof indentation.Gravatar Pierre Courtieu2015-03-05
* Summary: Fix compile warning on phox-toolbar-entriesGravatar David Aspinall2015-03-05
* Summary: Fix compile warning on isar-markup-mlGravatar David Aspinall2015-03-05
* Fix compile error with make-faceGravatar David Aspinall2015-03-05
* Summary: Remove obsolete functionGravatar David Aspinall2015-03-05
* Summary: Build on MacGravatar David Aspinall2015-03-05
* Fix colours for dark backgroundsGravatar David Aspinall2015-03-05
* Fixed Proof end/start detection on Proof using ...Gravatar Pierre Courtieu2015-03-04
* Fixed compilation issue with previous commit + CHANGE updates.Gravatar Pierre Courtieu2015-03-04
* Mouse queries.Gravatar Pierre Courtieu2015-03-03
* Coqtop always restarted when switching script buffer.Gravatar Pierre Courtieu2015-03-03
* Making freeze buffer hace coq-response-more.Gravatar Pierre Courtieu2015-02-24
* Typo in last commit.Gravatar Pierre Courtieu2015-02-23
* Fixed a bug in syntax table making fontlock and indentation fail.Gravatar Pierre Courtieu2015-02-23
* Fixed read-only error for compile before require option.Gravatar Pierre Courtieu2015-02-11
* replug removal of induction principle in SearAbout queries.Gravatar Pierre Courtieu2015-02-09
* Adding function to grab things at point and send queries about it.Gravatar Pierre Courtieu2015-02-09
* Removed a debugging message.Gravatar Pierre Courtieu2015-02-06
* Fix colorization of for coq multiple hypothesis on the same line.Gravatar Pierre Courtieu2015-02-05
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* Fixed previous commit (wrong regexp).Gravatar Pierre Courtieu2015-02-04
* coloring names in resposne and goalsGravatar Pierre Courtieu2015-02-03
* beautified a bit error messages.Gravatar Pierre Courtieu2015-02-03
* cleaning regexp.Gravatar Pierre Courtieu2015-02-03
* Fix test defeated by binary installGravatar David Aspinall2015-02-02
* Set version tag for new release.Gravatar David Aspinall2015-02-02
* Set double hit electric terminator back. Disabled by default.Gravatar Pierre Courtieu2015-01-30
* Fix coq project parsing and interpreting for coq v8.5.Gravatar Pierre Courtieu2015-01-27
* Fixed a bug in script navigation. Updated CHANGEGravatar Pierre Courtieu2015-01-27
* changed default indentation of match's cases.Gravatar Pierre Courtieu2015-01-14
* failed and commented attempt at improving indentation of records.Gravatar Pierre Courtieu2015-01-09
* Removing non-smie indentation + fix CHANGES.Gravatar Pierre Courtieu2015-01-09
* Fixing indentation of pending curly braces.Gravatar Pierre Courtieu2015-01-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 06:11:09 +0000