diff options
| author | letouzey | 2013-04-17 16:25:43 +0000 |
|---|---|---|
| committer | letouzey | 2013-04-17 16:25:43 +0000 |
| commit | 7016b89ad2d08ec6161349e33511a0bb1d972f57 (patch) | |
| tree | ab8a52260eb6109a5c5f83f2df4b27821e7058bc /doc/tutorial/Tutorial.tex | |
| parent | 52a844dc9419223c9e72a6be43b9657e4d7f1f5f (diff) | |
Coqmktop: dynlink is now mandatory due to Maxime's native-compiler
Some cleanup btw, for instance Dynlink.init is deprecated since at least
ocaml 3.11
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16419 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions