aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-03-13Summary: Experimental DockerfileDavid Aspinall
2015-03-13Set version tag for new release.David Aspinall
2015-03-13Summary: FAQ about copying output into new buffersDavid Aspinall
2015-03-13Summary: Fix to work with dark color themes (stipple with header-line face)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-13Some comments for future work.Pierre Courtieu
2015-03-13Summary: Revert change to default EMACSDavid Aspinall
2015-03-13(fixes last commit) Added a command to send Queries to coq, with completion (...Pierre Courtieu
2015-03-13Added a command to send Queries to coq, with completion (C-c C-a C-q).Pierre Courtieu
2015-03-11Summary: Update version yearDavid Aspinall
2015-03-11Summary: Build in default path for Isabelle2014 Mac packageDavid Aspinall
2015-03-09Added bug fixes in CHANGES.Pierre Courtieu
2015-03-09Fixes #503.Pierre Courtieu
2015-03-05Fixed stuff in CHANGES.Pierre Courtieu
2015-03-05Customization variables for modules, section and proof indentation.Pierre Courtieu
2015-03-05Summary: Fix compile warning on phox-toolbar-entriesDavid Aspinall
2015-03-05Summary: Fix compile warning on isar-markup-mlDavid Aspinall
2015-03-05Fix compile error with make-faceDavid Aspinall
2015-03-05Summary: Remove obsolete functionDavid Aspinall
2015-03-05Summary: Build on MacDavid Aspinall
2015-03-05Fix colours for dark backgroundsDavid Aspinall
2015-03-04Fixed Proof end/start detection on Proof using ...Pierre Courtieu
2015-03-04Fixed compilation issue with previous commit + CHANGE updates.Pierre Courtieu
2015-03-03Mouse queries.Pierre Courtieu
2015-03-03Coqtop always restarted when switching script buffer.Pierre Courtieu
2015-02-24Making freeze buffer hace coq-response-more.Pierre Courtieu
2015-02-23Typo in last commit.Pierre Courtieu
2015-02-23Fixed a bug in syntax table making fontlock and indentation fail.Pierre Courtieu
2015-02-11Fixed read-only error for compile before require option.Pierre Courtieu
2015-02-09replug removal of induction principle in SearAbout queries.Pierre Courtieu
2015-02-09Adding function to grab things at point and send queries about it.Pierre Courtieu
2015-02-06Removed a debugging message.Pierre Courtieu
2015-02-05Fix colorization of for coq multiple hypothesis on the same line.Pierre Courtieu
2015-02-04cleaned previous commits (generic variable to disable error coloring).Pierre Courtieu
2015-02-04Fixed previous commit (wrong regexp).Pierre Courtieu
2015-02-03coloring names in resposne and goalsPierre Courtieu
2015-02-03beautified a bit error messages.Pierre Courtieu
2015-02-03cleaning regexp.Pierre Courtieu
2015-02-02Fix test defeated by binary installDavid Aspinall
2015-02-02Set version tag for new release.David Aspinall
2015-01-30Set double hit electric terminator back. Disabled by default.Pierre Courtieu
2015-01-27Fix coq project parsing and interpreting for coq v8.5.Pierre Courtieu
2015-01-27Fixed a bug in script navigation. Updated CHANGEPierre Courtieu
2015-01-14changed default indentation of match's cases.Pierre Courtieu
2015-01-09failed and commented attempt at improving indentation of records.Pierre Courtieu
2015-01-09Removing non-smie indentation + fix CHANGES.Pierre Courtieu
2015-01-05Fixing indentation of pending curly braces.Pierre Courtieu
2015-01-05Fix compile on 23.xDavid Aspinall
2015-01-05Fix crossref broken by newline. Remove custom fontDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:48:46 +0000