index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Update dates for release next month
David Aspinall
2015-03-13
*
Summary: Experimental Dockerfile
David Aspinall
2015-03-13
*
Set version tag for new release.
David Aspinall
2015-03-13
*
Summary: FAQ about copying output into new buffers
David Aspinall
2015-03-13
*
Summary: Fix to work with dark color themes (stipple with header-line face)
David Aspinall
2015-03-13
*
Summary: Compile warning on speedbar-add-supported-extension
David Aspinall
2015-03-13
*
Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...
David Aspinall
2015-03-13
*
Some comments for future work.
Pierre Courtieu
2015-03-13
*
Summary: Revert change to default EMACS
David Aspinall
2015-03-13
*
(fixes last commit) Added a command to send Queries to coq, with completion (...
Pierre Courtieu
2015-03-13
*
Added a command to send Queries to coq, with completion (C-c C-a C-q).
Pierre Courtieu
2015-03-13
*
Summary: Update version year
David Aspinall
2015-03-11
*
Summary: Build in default path for Isabelle2014 Mac package
David Aspinall
2015-03-11
*
Added bug fixes in CHANGES.
Pierre Courtieu
2015-03-09
*
Fixes #503.
Pierre Courtieu
2015-03-09
*
Fixed stuff in CHANGES.
Pierre Courtieu
2015-03-05
*
Customization variables for modules, section and proof indentation.
Pierre Courtieu
2015-03-05
*
Summary: Fix compile warning on phox-toolbar-entries
David Aspinall
2015-03-05
*
Summary: Fix compile warning on isar-markup-ml
David Aspinall
2015-03-05
*
Fix compile error with make-face
David Aspinall
2015-03-05
*
Summary: Remove obsolete function
David Aspinall
2015-03-05
*
Summary: Build on Mac
David Aspinall
2015-03-05
*
Fix colours for dark backgrounds
David Aspinall
2015-03-05
*
Fixed Proof end/start detection on Proof using ...
Pierre Courtieu
2015-03-04
*
Fixed compilation issue with previous commit + CHANGE updates.
Pierre Courtieu
2015-03-04
*
Mouse queries.
Pierre Courtieu
2015-03-03
*
Coqtop always restarted when switching script buffer.
Pierre Courtieu
2015-03-03
*
Making freeze buffer hace coq-response-more.
Pierre Courtieu
2015-02-24
*
Typo in last commit.
Pierre Courtieu
2015-02-23
*
Fixed a bug in syntax table making fontlock and indentation fail.
Pierre Courtieu
2015-02-23
*
Fixed read-only error for compile before require option.
Pierre Courtieu
2015-02-11
*
replug removal of induction principle in SearAbout queries.
Pierre Courtieu
2015-02-09
*
Adding function to grab things at point and send queries about it.
Pierre Courtieu
2015-02-09
*
Removed a debugging message.
Pierre Courtieu
2015-02-06
*
Fix colorization of for coq multiple hypothesis on the same line.
Pierre Courtieu
2015-02-05
*
cleaned previous commits (generic variable to disable error coloring).
Pierre Courtieu
2015-02-04
*
Fixed previous commit (wrong regexp).
Pierre Courtieu
2015-02-04
*
coloring names in resposne and goals
Pierre Courtieu
2015-02-03
*
beautified a bit error messages.
Pierre Courtieu
2015-02-03
*
cleaning regexp.
Pierre Courtieu
2015-02-03
*
Fix test defeated by binary install
David Aspinall
2015-02-02
*
Set version tag for new release.
David Aspinall
2015-02-02
*
Set double hit electric terminator back. Disabled by default.
Pierre Courtieu
2015-01-30
*
Fix coq project parsing and interpreting for coq v8.5.
Pierre Courtieu
2015-01-27
*
Fixed a bug in script navigation. Updated CHANGE
Pierre Courtieu
2015-01-27
*
changed default indentation of match's cases.
Pierre Courtieu
2015-01-14
*
failed and commented attempt at improving indentation of records.
Pierre Courtieu
2015-01-09
*
Removing non-smie indentation + fix CHANGES.
Pierre Courtieu
2015-01-09
*
Fixing indentation of pending curly braces.
Pierre Courtieu
2015-01-05
*
Fix compile on 23.x
David Aspinall
2015-01-05
[next]