index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
idetop.ml
Age
Commit message (
Expand
)
Author
2018-11-24
[toplevel] Allow to specify default options.
Emilio Jesus Gallego Arias
2018-11-14
Get hyps and goal the same way Printer does; don't omit info
Jim Fehrle
2018-09-20
Current diff code only compares the first current goal of the old and new
Jim Fehrle
2018-08-16
1) Make the diff setting a persistent settting.
Jim Fehrle
2018-07-31
Code to handle "Back" command for diffs.
Jim Fehrle
2018-07-26
Do not set diff printing on by default in CoqIDE.
Pierre-Marie Pédrot
2018-07-23
Displays the differences between successive proof steps in coqtop and CoqIDE.
Jim Fehrle
2018-07-07
Introduce a Pcoq.Entry module for functions that ought to be exported.
Pierre-Marie Pédrot
2018-07-03
Remove unused arguments to Ide_slave.concl_next_tac.
Gaëtan Gilbert
2018-06-18
Remove reference name type.
Maxime Dénès
2018-05-25
Remove some occurrences of Evd.empty
Maxime Dénès
2018-05-21
[ide] Remove special option `-ideslave`
Emilio Jesus Gallego Arias
2018-05-21
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
