From 6cc3510d0efde3a2c033cab60b18bb25514d06e7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Nov 2014 17:59:58 +0100 Subject: [PATCH] copyright header in .header; authors in opam file --- .header | 5 +++++ opam | 2 +- sat/res.ml | 6 +++++- sat/res.mli | 6 +++++- 4 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 .header diff --git a/.header b/.header new file mode 100644 index 00000000..fe8863b5 --- /dev/null +++ b/.header @@ -0,0 +1,5 @@ +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2014 Guillaume Bury +Copyright 2014 Simon Cruanes +*) diff --git a/opam b/opam index 5af72ff0..a31bf3dd 100644 --- a/opam +++ b/opam @@ -1,7 +1,7 @@ opam-version: "1.2" license: "Apache" version: "dev" -author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"] +author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"] build: [ [make "all"] diff --git a/sat/res.ml b/sat/res.ml index ae10ab5b..c0b9daa9 100644 --- a/sat/res.ml +++ b/sat/res.ml @@ -1,4 +1,8 @@ -(* Copyright 2014 Guillaume Bury *) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2014 Guillaume Bury +Copyright 2014 Simon Cruanes +*) module type S = Res_intf.S diff --git a/sat/res.mli b/sat/res.mli index 4df90fc7..a957e1e4 100644 --- a/sat/res.mli +++ b/sat/res.mli @@ -1,4 +1,8 @@ -(* Copyright 2014 Guillaume Bury *) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2014 Guillaume Bury +Copyright 2014 Simon Cruanes +*) module type S = Res_intf.S