~jgross-h/coq/v8.3

Viewing all changes in revision 11449.

  • Committer: Hugo Herbelin
  • Date: 2017-12-09 15:41:18 UTC
  • Revision ID: git-v1:04a6362feb6cbfaa00be4d001dee2b390d0ff21c
Adding support for OCaml 4.06.0 (option -unsafe-string needed).

And other minor changes.

Cherry-pick from v8.4 (7f2240f).

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: