From f439001caa24671d03d8816964ceb8e483660e70 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 10 Dec 2015 12:32:56 +0100
Subject: Adding compatibility flag for 8.5.

Soon needing a more algebraic view at version numbers...
---
 lib/flags.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index 29a0bbef01..cb92e1462d 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -55,7 +55,7 @@ val raw_print : bool ref
 val record_print : bool ref
 val univ_print : bool ref
 
-type compat_version = V8_2 | V8_3 | V8_4 | Current
+type compat_version = V8_2 | V8_3 | V8_4 | V8_5 | Current
 val compat_version : compat_version ref
 val version_strictly_greater : compat_version -> bool
 val version_less_or_equal : compat_version -> bool
-- 
cgit v1.2.3


From 74a5cfa8b2f1a881ebf010160421cf0775c2a084 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 15 Jan 2016 17:49:49 +0100
Subject: Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti
 Coen.

---
 lib/flags.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index 8e37136560..be2682cbd9 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -44,6 +44,8 @@ val profile : bool
 val print_emacs : bool ref
 val coqtop_ui : bool ref
 
+val xml_export : bool ref
+
 val ide_slave : bool ref
 val ideslave_coqtop_flags : string option ref
 
-- 
cgit v1.2.3


From 86f5c0cbfa64c5d0949365369529c5b607878ef8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 20 Jan 2016 17:25:10 +0100
Subject: Update copyright headers.

---
 lib/flags.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index be2682cbd9..ab06eda306 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -1,6 +1,6 @@
 (************************************************************************)
 (*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
 (*   \VV/  **************************************************************)
 (*    //   *      This file is distributed under the terms of the       *)
 (*         *       GNU Lesser General Public License Version 2.1        *)
-- 
cgit v1.2.3


From f65f8d5a4d9ba437fa2d8af03e2781d841e53007 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 21 Jan 2016 09:21:23 +0100
Subject: Restore warnings produced by the interpretation of the command line
 (e.g. with deprecated options such as -byte, etc.) since I guess this is what
 we expect.

Was probably lost in 81eb133d64ac81cb.
---
 lib/flags.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index ab06eda306..69caad5b62 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -90,6 +90,7 @@ val is_universe_polymorphism : unit -> bool
 val make_polymorphic_flag : bool -> unit
 val use_polymorphic_flag : unit -> bool
 
+val warn : bool ref
 val make_warn : bool -> unit
 val if_warn : ('a -> unit) -> 'a -> unit
 
-- 
cgit v1.2.3