Revision f4b94e8a6f90413abd0bf7ef62285855cd459df0 authored by Pierre-Yves Strub on 16 December 2015, 18:06:01 UTC, committed by Pierre-Yves Strub on 16 December 2015, 18:07:43 UTC
- `move=> _` does a late clear - `move=> ?` does an anonymous (_) intro This is currently not enabled by default. The option `oldip` has first to be cleared (`pragma -oldip`)
1 parent 65269da
proof-site.patch
--- proof-site.el.orig 2013-03-27 12:42:07.061084211 +0100
+++ proof-site.el 2013-03-27 12:41:51.080922301 +0100
@@ -40,6 +40,7 @@
(isar "Isabelle" "thy")
(coq "Coq" "v" nil (".vo" ".glob"))
(phox "PhoX" "phx")
+ (easycrypt "EasyCrypt" "ec" ".*\\.eca?")
;; Obscure instances or conflict with other Emacs modes.
Computing file changes ...
