Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reenabled yet another example
|
file |
diff |
annotate
|
Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reenabled more examples
|
file |
diff |
annotate
|
Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reintroduced more examples
|
file |
diff |
annotate
|
Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reenabled example
|
file |
diff |
annotate
|
Wed, 03 Sep 2014 22:46:54 +0200 |
blanchet |
added tests for new 'countable_datatype' proof method
|
file |
diff |
annotate
|
Tue, 02 Sep 2014 13:40:03 +0200 |
traytel |
test discriminators/selectors in BNF regression suite
|
file |
diff |
annotate
|
Tue, 05 Aug 2014 14:02:47 +0200 |
blanchet |
added 'datatype_compat' tests
|
file |
diff |
annotate
|
Fri, 14 Feb 2014 16:22:09 +0100 |
blanchet |
added examples/tests
|
file |
diff |
annotate
|
Fri, 24 Jan 2014 11:51:45 +0100 |
blanchet |
killed 'More_BNFs' by moving its various bits where they (now) belong
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
dissolved BNF session
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
moved BNF examples
|
file |
diff |
annotate
| base
|