coq/dev/ocamldebug-coq.template, branch master

configure.ml: our configure script is now written in ML :-)

2013-12-20T17:57:08+00:00

  configure is now just a minimal wrapper around the new configure.ml.
  This configure.ml is runned with the same ocaml used during
  compilation, and starts with a #load "unix.cma".
  For now, this new configure script is meant to be 99% compatible
  with the old one. Known incompatibilities : the --foo option format
  (with two --) isn't supported anymore, use -foo options instead.
  Let me know if you encounter any other changes.

  Internals:
   - We use our own "run" command (based on Unix.create_process) to avoid
     relying on some specific shell (/bin/sh or cmd.exe).
   - We should have far less issues with filename quoting under windows
     since we almost never rely on (cygwin) shell anymore. This remains
     to be fully tested, though.
   - dev/ocamldebug-coq is slightly different now, to ease its generation

No need anymore to refer to COQLIB in ocamldebug-coq

2012-08-23T12:52:46+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15751 85f007b7-540e-0410-9357-904b9bb8a0f7

place all pretty-printing files in new dir printing/

2012-05-29T11:09:32+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15391 85f007b7-540e-0410-9357-904b9bb8a0f7

Vernacexpr is now a mli-only file, locality stuff now in locality.ml

2012-05-29T11:08:09+00:00

 Adds a directory ./intf for pure interfaces.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15367 85f007b7-540e-0410-9357-904b9bb8a0f7

ocamldebug-coq: add some forgotten -I

2009-05-26T13:11:47+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12141 85f007b7-540e-0410-9357-904b9bb8a0f7

Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs

2009-03-20T01:22:58+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7

Completed 11745 (move of jprover to user contribs) and cleaned 11743

2009-01-05T09:50:15+00:00

(detection of Miller's pattern)



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11748 85f007b7-540e-0410-9357-904b9bb8a0f7

- Ajout possibilité de lancer ocamldebug sur coqide

2008-11-07T17:10:50+00:00

- Correction bug #1815 sur "coqide dir_inexistant/nom_fichier"
- Tests oubliés de la révision 11438 (amélioration affichage coercions)



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11555 85f007b7-540e-0410-9357-904b9bb8a0f7

first-order --> firstorder (kills a warning about not being a valid id)

2008-04-16T20:40:19+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7

Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement

2008-01-04T11:04:03+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10418 85f007b7-540e-0410-9357-904b9bb8a0f7