Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- 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
--- a/vendor/coq-serapi/serlib/serlib_base.mli
+++ b/vendor/coq-serapi/serlib/serlib_base.mli
--- a/vendor/coq-serapi/serlib/serlib_init.ml
+++ b/vendor/coq-serapi/serlib/serlib_init.ml
--- a/vendor/coq-serapi/serlib/serlib_init.mli
+++ b/vendor/coq-serapi/serlib/serlib_init.mli
--- a/vendor/coq-serapi/sertex/Stexp.ml
+++ b/vendor/coq-serapi/sertex/Stexp.ml
--- a/vendor/coq-serapi/sertex/Stexp.mli
+++ b/vendor/coq-serapi/sertex/Stexp.mli
No results found