From 2dd3c41c95ff436bce03cd4605f0d4cfc61be82c Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Wed, 3 Feb 2016 06:34:17 +0100
Subject: EasyCrypt mode: copyright + license

---
 easycrypt/easycrypt.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'easycrypt/easycrypt.el')

diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el
index 81e3299c..ecea9744 100644
--- a/easycrypt/easycrypt.el
+++ b/easycrypt/easycrypt.el
@@ -1,3 +1,10 @@
+;; --------------------------------------------------------------------
+;; Copyright (c) - 2012--2016 - IMDEA Software Institute
+;; Copyright (c) - 2012--2016 - Inria
+;;
+;; Distributed under the terms of the GPL-v3 license
+;; --------------------------------------------------------------------
+
 (require 'proof)
 (require 'pg-custom)
 (require 'easycrypt-syntax)
-- 
cgit v1.2.3