From a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 27 Dec 2016 16:53:30 +0100 Subject: Imported Upstream version 8.6 --- plugins/decl_mode/decl_mode_plugin.mlpack | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 plugins/decl_mode/decl_mode_plugin.mlpack (limited to 'plugins/decl_mode/decl_mode_plugin.mlpack') diff --git a/plugins/decl_mode/decl_mode_plugin.mlpack b/plugins/decl_mode/decl_mode_plugin.mlpack new file mode 100644 index 00000000..1b84a079 --- /dev/null +++ b/plugins/decl_mode/decl_mode_plugin.mlpack @@ -0,0 +1,5 @@ +Decl_mode +Decl_interp +Decl_proof_instr +Ppdecl_proof +G_decl_mode -- cgit v1.2.3