blob: 0691e38e40591215677219646a4f945bae4b2091 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(* Scripting here tests quotation mechanism for filenames. *)
(* At the moment this trips a bug in Isabelle which objects
to filename of this directory.
Easy way to test for other provers is with a link,
\bizzare \\<rightarrow> ProofGeneral/ then load \bizarre/coq/example.v, etc
*)
val a = 1;
|