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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
|
<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
<channel>
<title>Camlp5</title>
<description>Camlp5 documentation</description>
<lastBuildDate>Mon Sep 17 15:10:47 CEST 2007</lastBuildDate>
<link>http://pauillac.inria.fr/~ddr/camlp5/doc/html/</link>
<item>
<title>Macros</title>
<description>
Added ability to use IFDEF and IFNDEF for record labels declarations.
</description>
<pubDate>Wed Dec 31 11:51:33 CET 2008</pubDate>
<link>../macros.html</link>
</item>
<item>
<title>Plexer</title>
<description>
Added flag "Plexer.utf8_lexing" to specify that the lexer
built by "Plexer.gmake ()" should take utf8 punctuation
characters into account.
</description>
<pubDate>Mon Dec 24 11:24:34 CET 2007</pubDate>
<link>../opretty.html</link>
</item>
<item>
<title>quotation example</title>
<description>
Fixed example in chapter "Quotations" about lambda terms. Did not
work because using an old version of the "lexer" syntax extension.
</description>
<pubDate>Fri Dec 28 23:05:19 CET 2007</pubDate>
<link>../quot.html</link>
</item>
<item>
<title>pprintf</title>
<description>
Added chapter about the new statement "pprintf".
</description>
<pubDate>Fri Dec 28 23:05:19 CET 2007</pubDate>
<link>../pprintf.html</link>
</item>
<item>
<title>Grammar.Entry.parse_all</title>
<description>
Added function "Grammar.Entry.parse_all".
</description>
<pubDate>Thu Dec 27 20:42:30 CET 2007</pubDate>
<link>../library.html</link>
</item>
<item>
<title>Pretty print</title>
<description>
Added function "Pretty.horizontally" returning the fact that
the current print is horizontal or not. Added function
"Prtools.hvlistl" using "hlistl" or "vlistl" according to
the fact that the current print is horizontal or not.
</description>
<pubDate>Mon Dec 24 11:24:34 CET 2007</pubDate>
<link>../opretty.html</link>
</item>
<item>
<title>Located exceptions</title>
<description>
Explained in a new section "Located errors" how put locations
to exceptions raised in quotations expanders.
</description>
<pubDate>Sun Dec 16 18:18:08 CET 2007</pubDate>
<link>../quot.html</link>
</item>
<item>
<title>Backtracking example</title>
<description>
Added an example of backtracking.
</description>
<pubDate>Fri Nov 30 12:59:11 CET 2007</pubDate>
<link>../bparser.html</link>
</item>
<item>
<title>Fstream and Grammar library modules</title>
<description>
In Fstream module, added section about backtracking parsers.
Grammar module, added section about parsing algorithm. They
are new features of Camlp5 5.04.
</description>
<pubDate>Sun Nov 25 08:23:25 CET 2007</pubDate>
<link>../library.html</link>
</item>
<item>
<title>Backtracking parsers</title>
<description>
Added chapter about backtracking parsers, a new feature of
Camlp5 5.04.
</description>
<pubDate>Sun Nov 25 03:47:32 CET 2007</pubDate>
<link>../bparsers.html</link>
</item>
<item>
<title>mkcamlp5</title>
<description>
Added paragraph about new commands mkcamlp5 and mkcamlp5.opt.
</description>
<pubDate>Tue Nov 20 04:30:54 CET 2007</pubDate>
<link>../commands.html</link>
</item>
<item>
<title>Lexers 2</title>
<description>
Updated the chapter about lexers, the lexing buffer being now
provided in Camlp5 library, instead of having to be written
by the programmer.
</description>
<pubDate>Thu Oct 11 12:56:15 CEST 2007</pubDate>
<link>../lexers.html</link>
</item>
<item>
<title>Lexers</title>
<description>
Changed the chapter about lexers, their syntax being changed.
</description>
<pubDate>Thu Oct 11 12:56:15 CEST 2007</pubDate>
<link>../lexers.html</link>
</item>
<item>
<title>Future work</title>
<description>
Deleted section about the rewritting of the pretty print in
Scheme syntax (this is implemented). Added section about GLR
grammars.
</description>
<pubDate>Thu Oct 11 12:56:15 CEST 2007</pubDate>
<link>../conclusion.html</link>
</item>
<item>
<title>Locations in quotations and antiquotations</title>
<description>
Added detailed explanations about the problem of locations in
quotations and antiquotations.
</description>
<pubDate>Tue Oct 9 19:10:10 CEST 2007</pubDate>
<link>../quot.html#a:Locations-in-quotations-and-antiquotations</link>
</item>
<item>
<title>Module Diff and Equilibrated pretty print</title>
<description>
Added module Diff in Camlp5 library to compare two arrays (using
the algorithm of the Unix 'diff' command). Added flag 'E' in
pretty print kit in revised syntax (pr_o.cmo) to allow display
equilibrate cases (all cases in 'match' statement are cut if one
is cut, and same equilibration in 'if' statement).
</description>
<pubDate>Mon Oct 1 21:47:55 CEST 2007</pubDate>
<link>../library.html</link>
</item>
<item>
<title>SLIST0...</title>
<description>
Deleted section about internal extensions SLIST0, SLIST1, SOPT
and SFLAG, which are not yet supported.
</description>
<pubDate>Mon Oct 1 11:38:46 CEST 2007</pubDate>
<link>../grammars.html</link>
</item>
<item>
<title>Syntax tree - strict mode - nodes without quotations</title>
<description>
Added a section about types of nodes without quotations:
type_var, type_decl and class_infos.
</description>
<pubDate>Wed Sep 26 14:05:15 CEST 2007</pubDate>
<link>../ast_strict.html</link>
</item>
<item>
<title>Syntax tree - strict mode - 2</title>
<description>
Updated doc of 'patt', 'ctyp', 'str_item' and 'sig_item'.
</description>
<pubDate>Tue Sep 25 05:14:45 CEST 2007</pubDate>
<link>../ast_strict.html</link>
</item>
<item>
<title>Version number</title>
<description>
New version number will be 5.00 instead of 4.09, because the
AST quotations in user syntax is a major change.
</description>
<pubDate>Sat Sep 22 07:14:37 CEST 2007</pubDate>
<link>../index.html</link>
</item>
<item>
<title>Syntax tree - strict mode - 1</title>
<description>
General antiquoting will start with "_" (underscore) instead
of "a".
</description>
<pubDate>Fri Sep 21 21:06:25 CEST 2007</pubDate>
<link>../ast_strict.html</link>
</item>
<item>
<title>Syntax tree - strict mode</title>
<description>
Trying a different display for the "expr" quotation, the
displaying with a table being to wide.
</description>
<pubDate>Tue Sep 18 22:35:13 CEST 2007</pubDate>
<link>../ast_strict.html</link>
</item>
<item>
<title>Syntax tree - 3</title>
<description>
Improved the text of the description of the chapters about
syntax tree nodes in strict and in transitional modes. Added
a chapter (empty for the moment) where the quotation kit
"q_ast.cmo" (AST quotations in user syntax) will be specifically
described.
</description>
<pubDate>Tue Sep 18 16:16:23 CEST 2007</pubDate>
<link>../ml_ast.html</link>
</item>
<item>
<title>Syntax tree - 2</title>
<description>
Separated the "syntax tree in strict mode" and "syntax tree in
transitional mode" into two chapters.
</description>
<pubDate>Tue Sep 18 12:15:14 CEST 2007</pubDate>
<link>../ml_ast.html</link>
</item>
<item>
<title>Syntax tree - 1</title>
<description>
Added section about the syntax tree in "strict" mode, actually
almost a copy of the section in "transitional" mode.
</description>
<pubDate>Tue Sep 18 06:34:42 CEST 2007</pubDate>
<link>../ml_ast.html</link>
</item>
<item>
<title>Future work</title>
<description>
Changed intro sentence. Deleted section "extensible syntax
tree quotations" (implemented). Added section "rewritting
pretty printer in Scheme syntax".
</description>
<pubDate>Tue Sep 18 03:51:21 CEST 2007</pubDate>
<link>../conclusion.html</link>
</item>
<item>
<title>Syntax tree</title>
<description>
Changed structure of this chapter. Added introduction to explain
the general differences between "transitional" and "strict" modes.
Put the rest inside a section "syntax tree in transitional mode".
Added a section "syntax tree in strict mode" (to be completed).
</description>
<pubDate>Mon Sep 17 15:10:47 CEST 2007</pubDate>
<link>../ml_ast.html</link>
</item>
<item>
<title>Library - module Ploc</title>
<description>
Explained that this module also contains pervasive type and function.
Commented the pervasive type Ploc.vala and added the pervasive
function Ploc.call_with.
</description>
<pubDate>Mon Sep 17 11:41:44 CEST 2007</pubDate>
<link>../library.html</link>
</item>
<item>
<title>Transitional and Strict - 1</title>
<description>
Added more explanations about the two modes, and a short
example of what the syntax tree quotation "q_ast.cmo" allows
to do.
</description>
<pubDate>Mon Sep 17 06:29:44 CEST 2007</pubDate>
<link>../strict.html</link>
</item>
<item>
<title>Transitional and Strict</title>
<description>
Added chapter about "strict" and "transitional", allowing to
choose between backward compatibility and a new feature: the
syntax tree quotations in user syntax ("q_ast.cmo").
</description>
<pubDate>Mon Sep 17 05:28:48 CEST 2007</pubDate>
<link>../strict.html</link>
</item>
</channel>
</rss>
|
