Fri, 21 May 2010 11:40:18 +0100 |
Christian Urban |
hving a working fv-definition without the export
|
changeset |
files
|
Fri, 21 May 2010 05:58:23 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
Fri, 21 May 2010 00:44:39 +0100 |
Christian Urban |
proper parser for "exclude:"
|
changeset |
files
|
Thu, 20 May 2010 21:47:12 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
Thu, 20 May 2010 21:35:00 +0100 |
Christian Urban |
moved some mk_union and mk_diff into the library
|
changeset |
files
|
Thu, 20 May 2010 21:23:53 +0100 |
Christian Urban |
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
|
changeset |
files
|
Mon, 21 Jun 2010 02:04:39 +0100 |
Christian Urban |
some post-submission polishing
|
changeset |
files
|
Mon, 21 Jun 2010 00:45:27 +0100 |
Christian Urban |
added a few points that need to be looked at the next version of the qpaper
|
changeset |
files
|
Mon, 21 Jun 2010 00:36:17 +0100 |
Christian Urban |
eliminated a quot_thm flag
|
changeset |
files
|
Sun, 20 Jun 2010 02:37:58 +0100 |
Christian Urban |
fixed example
|
changeset |
files
|
Sun, 20 Jun 2010 02:37:44 +0100 |
Christian Urban |
small addition to the acknowledgement
|
changeset |
files
|
Thu, 17 Jun 2010 09:25:44 +0200 |
Cezary Kaliszyk |
qpaper / address FIXMEs.
|
changeset |
files
|
Thu, 17 Jun 2010 07:37:26 +0200 |
Cezary Kaliszyk |
forgot to save
|
changeset |
files
|
Thu, 17 Jun 2010 07:34:29 +0200 |
Cezary Kaliszyk |
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
|
changeset |
files
|