Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / coq
Commits:
-
76eaecb5
by Ralf Treinen at 2019-12-01T18:53:54Z
-
726c64b6
by Ralf Treinen at 2019-12-01T19:13:09Z
-
05ddac2b
by Ralf Treinen at 2019-12-01T19:13:47Z
-
69299a5a
by Ralf Treinen at 2019-12-01T19:17:13Z
-
b6c74586
by Ralf Treinen at 2019-12-01T19:52:48Z
30 changed files:
- Makefile.checker
- Makefile.ide
- checker/check.ml
- checker/checker.ml
- checker/mod_checking.ml
- checker/validate.ml
- checker/values.ml
- clib/bigint.ml
- clib/cArray.ml
- clib/cArray.mli
- clib/cList.mli
- clib/cThread.ml
- clib/heap.ml
- clib/option.ml
- clib/predicate.mli
- clib/segmenttree.ml
- clib/segmenttree.mli
- clib/unionfind.ml
- configure.ml
- debian/changelog
- debian/copyright
- debian/gbp.conf
- debian/rules
- dev/doc/critical-bugs
- dev/top_printers.ml
- dev/vm_printers.ml
- doc/plugin_tutorial/tuto1/src/g_tuto1.mlg
- doc/plugin_tutorial/tuto2/src/demo.mlg
- − doc/whodidwhat/whodidwhat-8.2update.tex
- − doc/whodidwhat/whodidwhat-8.3update.tex