diff options
| author | Enrico Tassi | 2016-01-08 23:27:22 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-01-08 23:27:28 +0100 |
| commit | be7249377b78f44465746be61b1f40830aa213e5 (patch) | |
| tree | ff161fe01be78c0c254b75980fcb12c88513981f | |
| parent | c450f3314900aa69f9d456a55d40f7a6adee762b (diff) | |
fix version number in initialization message
| -rw-r--r-- | mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 2 | ||||
| -rw-r--r-- | mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 | 2 | ||||
| -rw-r--r-- | mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 index f3a4f70..6e805a9 100644 --- a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 @@ -3,7 +3,7 @@ (* This line is read by the Makefile's dist target: do not remove. *) DECLARE PLUGIN "ssreflect" -let ssrversion = "1.5";; +let ssrversion = "1.6";; let ssrAstVersion = 1;; let () = Mltop.add_known_plugin (fun () -> if Flags.is_verbose () && not !Flags.batch_mode then begin diff --git a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 index db1f8d2..49a5912 100644 --- a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 @@ -2,7 +2,7 @@ (* Distributed under the terms of CeCILL-B. *) (* This line is read by the Makefile's dist target: do not remove. *) -let ssrversion = "1.5";; +let ssrversion = "1.6";; let ssrAstVersion = 1;; let () = Mltop.add_known_plugin (fun () -> if Flags.is_verbose () && not !Flags.batch_mode then begin diff --git a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 index 4bea3b8..72f1949 100644 --- a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 @@ -3,7 +3,7 @@ (* This line is read by the Makefile's dist target: do not remove. *) DECLARE PLUGIN "ssreflect" -let ssrversion = "1.5";; +let ssrversion = "1.6";; let ssrAstVersion = 1;; let () = Mltop.add_known_plugin (fun () -> if Flags.is_verbose () && not !Flags.batch_mode then begin |