| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 23:29:43 +0200 |
wenzelm |
more bibtex entries;
|
file |
diff |
annotate
|
| Mon, 01 Sep 2014 16:34:39 +0200 |
blanchet |
renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 11:47:59 +0100 |
traytel |
tuned proofs; removed duplicated facts
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 08:56:08 +0100 |
haftmann |
tuned proofs
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 08:56:08 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 23:10:27 +0100 |
traytel |
made natLe{q,ss} constants (yields smaller terms in composition)
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 14:15:09 +0100 |
traytel |
rationalized imports
|
file |
diff |
annotate
|
| Fri, 28 Feb 2014 17:54:52 +0100 |
traytel |
load Metis a little later
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 13:53:26 +0100 |
traytel |
less flex-flex pairs (thanks to Lars' statistics)
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 13:29:20 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 09:45:30 +0100 |
blanchet |
whitespace tuning
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 22:24:48 +0100 |
blanchet |
renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
tuned comments
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:55 +0100 |
blanchet |
renamed '_FP' files to 'BNF_' files
|
file |
diff |
annotate
| base
|