Wed, 06 May 2015 14:23:22 +0200 |
blanchet |
corrected path in doc
|
file |
diff |
annotate
|
Wed, 22 Apr 2015 19:52:29 +0200 |
blanchet |
doc
|
file |
diff |
annotate
|
Wed, 06 May 2015 15:04:38 +0200 |
blanchet |
added acknowledgment
|
file |
diff |
annotate
|
Tue, 28 Apr 2015 22:56:28 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
Wed, 22 Apr 2015 20:07:00 +0200 |
blanchet |
improved docs
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:46:44 +0200 |
blanchet |
acknowledgment
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:43:36 +0200 |
blanchet |
suppressed warnings
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:29:38 +0200 |
blanchet |
updated docs, esp. relating to 'datatype_compat'
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 15:38:24 +0100 |
kleing |
typo
|
file |
diff |
annotate
|
Tue, 31 Mar 2015 14:42:06 +0200 |
blanchet |
tuned doc
|
file |
diff |
annotate
|
Fri, 27 Mar 2015 15:08:31 +0100 |
blanchet |
clarified doc
|
file |
diff |
annotate
|
Tue, 24 Mar 2015 18:10:56 +0100 |
blanchet |
reordered properties
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 23:05:56 +0100 |
traytel |
document property
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 17:02:00 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 17:01:59 +0100 |
blanchet |
clarified documentation
|
file |
diff |
annotate
|
Tue, 03 Mar 2015 17:20:51 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 21:48:05 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 11:00:12 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 09:54:41 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 09:54:40 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 06:56:15 +0100 |
blanchet |
documented 'transfer' options to 'prim(co)rec'
|
file |
diff |
annotate
|
Fri, 19 Dec 2014 11:19:14 +0100 |
desharna |
document 'disc_eq_case'
|
file |
diff |
annotate
|
Fri, 19 Dec 2014 11:18:00 +0100 |
desharna |
document 'case_distrib'
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 20:43:13 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 17:31:01 +0100 |
wenzelm |
clarified keyword categories;
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 12:24:56 +0100 |
desharna |
document '*_transfer' attribute
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 11:52:56 +0100 |
desharna |
document 'size_neq'
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 17:23:16 +0200 |
desharna |
update documentation for 'size_o_map'
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 17:23:14 +0200 |
desharna |
document 'size_gen'
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 17:23:13 +0200 |
desharna |
document 'map_o_corec'
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 17:23:12 +0200 |
desharna |
move documentation of 'rec_o_map'
|
file |
diff |
annotate
|
Tue, 14 Oct 2014 16:19:42 +0200 |
desharna |
document 'sel_transfer'
|
file |
diff |
annotate
|
Mon, 13 Oct 2014 18:45:48 +0200 |
wenzelm |
Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 22:35:11 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 02 Oct 2014 12:02:29 +0200 |
blanchet |
documentation
|
file |
diff |
annotate
|
Thu, 02 Oct 2014 12:02:28 +0200 |
blanchet |
fixed a few mistakes in the documentation
|
file |
diff |
annotate
|
Mon, 29 Sep 2014 10:39:39 +0200 |
blanchet |
reintroduced 'rel_cases' in docs
|
file |
diff |
annotate
|
Thu, 25 Sep 2014 16:35:56 +0200 |
desharna |
document 'corec_transfer'
|
file |
diff |
annotate
|
Thu, 25 Sep 2014 16:35:54 +0200 |
desharna |
document 'rec_transfer'
|
file |
diff |
annotate
|
Fri, 19 Sep 2014 14:08:21 +0200 |
blanchet |
documented limitations
|
file |
diff |
annotate
|
Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
fixed attribute name in docs (thanks to Andreas Lochbihler)
|
file |
diff |
annotate
|
Wed, 17 Sep 2014 11:54:59 +0200 |
blanchet |
avoid clash with Quickcheck's generated 'random_xxx' function
|
file |
diff |
annotate
|
Mon, 15 Sep 2014 16:14:14 +0200 |
blanchet |
set 'mono' attribute on 'rel_mono'
|
file |
diff |
annotate
|
Mon, 15 Sep 2014 11:54:47 +0200 |
blanchet |
more hints on how to port 'size'
|
file |
diff |
annotate
|
Mon, 15 Sep 2014 11:10:09 +0200 |
blanchet |
document size difference
|
file |
diff |
annotate
|
Mon, 15 Sep 2014 10:49:07 +0200 |
blanchet |
generate 'code' attribute only if 'code' plugin is enabled
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 19:35:38 +0200 |
blanchet |
tuned documentation
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 19:26:59 +0200 |
blanchet |
renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf')
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
more docs
|
file |
diff |
annotate
|
Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
documented extraction plugin
|
file |
diff |
annotate
|
Mon, 08 Sep 2014 23:09:37 +0200 |
blanchet |
more docs
|
file |
diff |
annotate
|
Mon, 08 Sep 2014 23:09:34 +0200 |
blanchet |
more documentation
|
file |
diff |
annotate
|
Mon, 08 Sep 2014 19:21:14 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
Mon, 08 Sep 2014 14:03:08 +0200 |
blanchet |
wildcards in plugins
|
file |
diff |
annotate
|
Mon, 08 Sep 2014 14:03:02 +0200 |
blanchet |
tuned docs
|
file |
diff |
annotate
|