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
2020-05-28
Fixing compilation with -natdynlink no.
Hugo Herbelin
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-03-03
[loadpath] Rework and simplify ML loadpath handling
Emilio Jesus Gallego Arias
2020-02-24
[exn] Forbid raising in exn printers, make them return Pp.t option
Emilio Jesus Gallego Arias
2020-02-13
Merge PR #11407: [mltop] Store digest of modules used to compile files.
Gaëtan Gilbert
2020-01-29
[rfc] [mltop] Removal of dynamic loading of object and `.ml` files
Emilio Jesus Gallego Arias
2020-01-16
[mltop] Remove error handling hacks in favor of default methods.
Emilio Jesus Gallego Arias
2020-01-16
[mltop] Store digest of modules used to compile files.
Emilio Jesus Gallego Arias
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
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
