Changes | Path |
+1 -1 |
metaprl/editor/ml/package_df.ml |
+1 -1 |
metaprl/filter/filter_cache.ml |
+38 -18 |
metaprl/filter/filter_comment.ml |
+99 -55 |
metaprl/filter/filter_hash.ml |
+363 -160 |
metaprl/filter/filter_ocaml.ml |
+14 -4 |
metaprl/filter/filter_ocaml.mli |
+15 -1 |
metaprl/filter/free_vars.ml |
+95 -46 |
metaprl/filter/mLast_util.ml |
+3 -3 |
metaprl/filter/mLast_util.mli |
+1 -1 |
metaprl/refiner/reflib/term_copy.ml |
+30 -44 |
metaprl/theories/tactic/nltop.ml |
+3 -0 |
metaprl/theories/tptp/tptp_prove.ml |