Remove coq-load-path comments in Coq source files

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Remove coq-load-path comments in Coq source files #87

Closed jeromesimeon closed 6 years ago

jeromesimeon commented 6 years ago

Now that we have a _CoqProject file in the top-level directory, we shouldn't need all those manually maintained directories in the source files. All of those:

(* 
*** Local Variables: ***
*** coq-load-path: (("../../coq" "Qcert")) ***
*** End: ***
*)

Should be removed.

jeromesimeon commented 6 years ago

Closed by 5533d1b.