[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] Coq 8.1 and Ocaml 3.10 |
Hi, On Wed, Dec 12, 2007 at 06:21:24PM +0100, Andrej Bauer wrote: > OCAMLOPT4 tactics/hipattern.ml4 > Error while loading "parsing/q_constr.cmo": file not found in path. > Preprocessor error The file q_constr.cmo is not part of Camlp5, but of Coq. Write to the Coq team, rather. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/