index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
stm
/
stm.mllib
Age
Commit message (
Expand
)
Author
2021-01-27
[sysinit] new component for system initialization
Enrico Tassi
2021-01-27
[vernac] move vernac_classifier to vernac
Enrico Tassi
2020-10-09
[stm] move par: implementation to vernac/comTactic and stm/partac
Enrico Tassi
2018-05-21
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
2017-03-21
[xml] Restore protocol compatibility with 8.6.
Emilio Jesus Gallego Arias
2017-02-15
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
2016-06-06
STM: proof block detection for bullets and { block }
Enrico Tassi
2016-06-02
Move serialization functions out of Stm
Emilio Jesus Gallego Arias
2015-01-06
rename: vi -> vio
Enrico Tassi
2014-09-29
XML pretty printing for AST (work by François Poulain, project DoCoq)
Enrico Tassi
2014-09-02
coqworkmgr
Enrico Tassi
2014-08-05
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-04-25
Adding a stm/ folder, as asked during last workgroup. It was essentially moving
Pierre-Marie Pédrot
