The Coq mailing list

[Johannes Waldmann <waldmann AT imn.htwk-leipzig.de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


> [...] Would it be possible to add a new
> command line option to coqc that would disable the termination checker?

I thought you were going for "... a new option
that would allow to replace the built-in termination checker
by some external program" :-)

Best regards, Johannes.


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (GNU/Linux)
Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org

iEYEARECAAYFAkhSRMAACgkQDqiTJ5Q4dm8qvACaA4WZOuw9s83ZMPpkzdX0bymU
pp0AnAqtqymwQtYiOMmI5w4qkhMUgbkE
=lDFu
-----END PGP SIGNATURE-----