diff options
Diffstat (limited to 'zarb-ml/mageia-dev/2013-January/021574.html')
| -rw-r--r-- | zarb-ml/mageia-dev/2013-January/021574.html | 127 |
1 files changed, 127 insertions, 0 deletions
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 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<HTML> + <HEAD> + <TITLE> [Mageia-dev] Freeze push: coq-8.4pl1 + </TITLE> + <LINK REL="Index" HREF="index.html" > + <LINK REL="made" HREF="mailto:mageia-dev%40mageia.org?Subject=Re%3A%20%5BMageia-dev%5D%20Freeze%20push%3A%20coq-8.4pl1&In-Reply-To=%3C50F4169E.2020505%40rhul.ac.uk%3E"> + <META NAME="robots" CONTENT="index,nofollow"> + <META http-equiv="Content-Type" content="text/html; charset=us-ascii"> + <LINK REL="Previous" HREF="021632.html"> + <LINK REL="Next" HREF="021631.html"> + </HEAD> + <BODY BGCOLOR="#ffffff"> + <H1>[Mageia-dev] Freeze push: coq-8.4pl1</H1> + <B>Pierre-Malo Deniélou</B> + <A HREF="mailto:mageia-dev%40mageia.org?Subject=Re%3A%20%5BMageia-dev%5D%20Freeze%20push%3A%20coq-8.4pl1&In-Reply-To=%3C50F4169E.2020505%40rhul.ac.uk%3E" + TITLE="[Mageia-dev] Freeze push: coq-8.4pl1">pierre-malo.denielou at rhul.ac.uk + </A><BR> + <I>Mon Jan 14 15:30:54 CET 2013</I> + <P><UL> + <LI>Previous message: <A HREF="021632.html">[Mageia-dev] Freeze push: sir 2.5.1 +</A></li> + <LI>Next message: <A HREF="021631.html">[Mageia-dev] Freeze push: coq-8.4pl1 +</A></li> + <LI> <B>Messages sorted by:</B> + <a href="date.html#21574">[ date ]</a> + <a href="thread.html#21574">[ thread ]</a> + <a href="subject.html#21574">[ subject ]</a> + <a href="author.html#21574">[ author ]</a> + </LI> + </UL> + <HR> +<!--beginarticle--> +<PRE>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 + +</PRE> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +<!--endarticle--> + <HR> + <P><UL> + <!--threads--> + <LI>Previous message: <A HREF="021632.html">[Mageia-dev] Freeze push: sir 2.5.1 +</A></li> + <LI>Next message: <A HREF="021631.html">[Mageia-dev] Freeze push: coq-8.4pl1 +</A></li> + <LI> <B>Messages sorted by:</B> + <a href="date.html#21574">[ date ]</a> + <a href="thread.html#21574">[ thread ]</a> + <a href="subject.html#21574">[ subject ]</a> + <a href="author.html#21574">[ author ]</a> + </LI> + </UL> + +<hr> +<a href="https://www.mageia.org/mailman/listinfo/mageia-dev">More information about the Mageia-dev +mailing list</a><br> +</body></html> |