index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
vernac
/
mltop.ml
Age
Commit message (
Expand
)
Author
2019-05-21
[loadpath] Make loadpath handling self-contained and move to vernac
Emilio Jesus Gallego Arias
2019-01-19
Fix recursive loadpath of ML files
Maxime Dénès
2018-12-13
Move shallow state logic to the function preparing state for workers
Maxime Dénès
2018-09-26
[ocaml] Update required OCaml version to 4.05.0
Emilio Jesus Gallego Arias
2018-05-21
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2018-01-29
[toplevel] Refactor load path handling.
Emilio Jesus Gallego Arias
2017-12-09
[summary] Allow typed projections from global state + rework of internals.
Emilio Jesus Gallego Arias
2017-10-05
Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...
Maxime Dénès
2017-09-20
[flags] Flag `open Flags`
Emilio Jesus Gallego Arias
2017-09-13
A possible fix for BZ#5715 (escape non-utf8 win32 file names).
Hugo Herbelin
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-04-21
[flags] Deprecate is_silent/is_verbose in favor of single flag.
Emilio Jesus Gallego Arias
2017-02-15
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
