Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/serlib/ser_uGraph.mli
+++ b/vendor/coq-serapi/serlib/ser_uGraph.mli
--- a/vendor/coq-serapi/serlib/ser_uState.ml
+++ b/vendor/coq-serapi/serlib/ser_uState.ml
--- a/vendor/coq-serapi/serlib/ser_uint63.ml
+++ b/vendor/coq-serapi/serlib/ser_uint63.ml
--- a/vendor/coq-serapi/serlib/ser_univ.ml
+++ b/vendor/coq-serapi/serlib/ser_univ.ml
--- a/vendor/coq-serapi/serlib/ser_univ.mli
+++ b/vendor/coq-serapi/serlib/ser_univ.mli
--- a/vendor/coq-serapi/serlib/ser_univNames.ml
+++ b/vendor/coq-serapi/serlib/ser_univNames.ml
--- a/vendor/coq-serapi/serlib/ser_universes.ml
+++ b/vendor/coq-serapi/serlib/ser_universes.ml
--- a/vendor/coq-serapi/serlib/ser_util.ml
+++ b/vendor/coq-serapi/serlib/ser_util.ml
--- a/vendor/coq-serapi/serlib/ser_util.mli
+++ b/vendor/coq-serapi/serlib/ser_util.mli
--- a/vendor/coq-serapi/serlib/ser_vernacexpr.ml
+++ b/vendor/coq-serapi/serlib/ser_vernacexpr.ml
--- a/vendor/coq-serapi/serlib/ser_vernacexpr.mli
+++ b/vendor/coq-serapi/serlib/ser_vernacexpr.mli
--- a/vendor/coq-serapi/serlib/ser_vernacextend.ml
+++ b/vendor/coq-serapi/serlib/ser_vernacextend.ml
--- a/vendor/coq-serapi/serlib/ser_vmbytecodes.ml
+++ b/vendor/coq-serapi/serlib/ser_vmbytecodes.ml
--- a/vendor/coq-serapi/serlib/ser_vmemitcodes.ml
+++ b/vendor/coq-serapi/serlib/ser_vmemitcodes.ml
--- a/vendor/coq-serapi/serlib/ser_vmemitcodes.mli
+++ b/vendor/coq-serapi/serlib/ser_vmemitcodes.mli
--- a/vendor/coq-serapi/serlib/ser_vmvalues.ml
+++ b/vendor/coq-serapi/serlib/ser_vmvalues.ml
--- a/vendor/coq-serapi/serlib/ser_vmvalues.mli
+++ b/vendor/coq-serapi/serlib/ser_vmvalues.mli
--- a/vendor/coq-serapi/serlib/ser_xml_datatype.ml
+++ b/vendor/coq-serapi/serlib/ser_xml_datatype.ml
--- a/vendor/coq-serapi/serlib/ser_xml_datatype.mli
+++ b/vendor/coq-serapi/serlib/ser_xml_datatype.mli
--- a/vendor/coq-serapi/serlib/serlib_base.ml
+++ b/vendor/coq-serapi/serlib/serlib_base.ml
No results found