From 1be510f9529cb082f802408b472a77d074b394c0 Mon Sep 17 00:00:00 2001 From: Nicolas Vigier Date: Sun, 14 Apr 2013 13:46:12 +0000 Subject: Add zarb MLs html archives --- zarb-ml/mageia-dev/2013-January/021574.html | 127 ++++++++++++++++++++++++++++ 1 file changed, 127 insertions(+) create mode 100644 zarb-ml/mageia-dev/2013-January/021574.html (limited to 'zarb-ml/mageia-dev/2013-January/021574.html') diff --git a/zarb-ml/mageia-dev/2013-January/021574.html b/zarb-ml/mageia-dev/2013-January/021574.html new file mode 100644 index 000000000..80a1debb7 --- /dev/null +++ b/zarb-ml/mageia-dev/2013-January/021574.html @@ -0,0 +1,127 @@ + + + + [Mageia-dev] Freeze push: coq-8.4pl1 + + + + + + + + + +

[Mageia-dev] Freeze push: coq-8.4pl1

+ Pierre-Malo Deniélou + pierre-malo.denielou at rhul.ac.uk +
+ Mon Jan 14 15:30:54 CET 2013 +

+
+ +
This is a bug fix and performance fix release. Nothing depends on coq in 
+mageia.
+
+Changes from V8.4 to V8.4pl1
+============================
+
+Bug fixes
+
+- Solved bugs :
+   #2851 #2863 #2865 #2893 #2895 #2892 #2905 #2906 #2907 #2917 #2921
+   #2930 #2941 #2878
+- Partially fixed bug : #2904
+- Various fixes concerning coq_makefile
+
+Optimizations
+
+- "Union by rank" optimization for universes contributed by J.H. Jourdan
+   and G. Sherrer (see union-find-and-coq-universes on gagallium blog).
+
+Libraries
+
+- Internal organisation of some modular libraries have slightly changed
+   due to bug #2904 (GenericMinMax, OrdersTac)
+- No more constant "int" in ZArith/Int.v to avoid name clash with OCaml
+   (cf bug #2878).
+
+Coqide
+
+- Improved shutdown of coqtop processes spawned by coqide
+   (in particular added a missing close_on_exec primitive before forking).
+- On windows, launching coqide with the -debug option now produces
+   a log file in the user's temporary directory. The location of this
+   log file is displayed in the "About" message.
+
+Cheers,
+-- 
+Malo
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+

+ +
+More information about the Mageia-dev +mailing list
+ -- cgit v1.2.1