aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-04-01Fix fill-paragraph merging comments and code (never fill code).Pierre Courtieu
2015-03-31Fixed smie code for ";" + added || in grammar.Pierre Courtieu
2015-03-27Fixed a small bug in indentation.Pierre Courtieu
2015-03-27Fix disable evar colorizing in coq file.Pierre Courtieu
2015-03-27Fixed a regex for detecting ids at point.Pierre Courtieu
2015-03-26Colorizing hyps names robustified. Still incomplete.Pierre Courtieu
2015-03-26A command to set coq printing width smartly.Pierre Courtieu
2015-03-26A remark about project file in the documentation.Pierre Courtieu
2015-03-26Fixed a smal bug in colorizing response buffer.Pierre Courtieu
2015-03-24Fixed indetation of tryif then else.Pierre Courtieu
2015-03-24fixed gfail hilighting.Pierre Courtieu
2015-03-24added some keywordsPierre Courtieu
2015-03-23Highlighting evars.Pierre Courtieu
2015-03-23Fixed lazymatch and multimatch indentation/highlighting.Pierre Courtieu
2015-03-13Summary: remove non-BSD cp argDavid Aspinall
2015-03-13Update dates for release next monthDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 12:57:01 +0000