acfoltzer/gist:1052530

Created June 28, 2011 23:50

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/acfoltzer/1052530.js"></script>
Save acfoltzer/1052530 to your computer and use it in GitHub Desktop.

Download ZIP

PG variables

Raw

gistfile1.ml

	(*
	* Local Variables: *
	* coq-prog-name: "coqtop" *
	* coq-prog-args: ("-emacs-U" "-I" "sf") *
	* End: *
	*)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment