blob: 80a1debb76fb3cf52d6c2ac419488dd249e24e7c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
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>
|
