Skip to main content

Browse the archive

Revision eefe9ef4de8ea4ed3ab3d8906773174ec84e0fe4 authored by Pierre-Yves Strub on 10 August 2015, 13:06:16 UTC, committed by Pierre-Yves Strub on 10 August 2015, 13:06:16 UTC 
Improve datatype emptyness check.
 
When using external types in datatypes constructors' types, we now use
their definition to check for emptiness instead of considering them
abstract.

[fix #17231]
1 parent 4b68fab
Raw File
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.
back to top