| 2011-01-04 |
Christian Urban |
final version of the ESOP paper; used set+ instead of res as requested by one reviewer
|
file |
diff |
annotate
|
| 2010-12-09 |
Christian Urban |
a bit more tuning of the paper
|
file |
diff |
annotate
|
| 2010-12-09 |
Christian Urban |
brought the paper to 20 pages plus one page appendix
|
file |
diff |
annotate
|
| 2010-11-24 |
Christian Urban |
implemented concrete suggestion of 3rd reviewer
|
file |
diff |
annotate
|
| 2010-11-05 |
Christian Urban |
small typo
|
file |
diff |
annotate
|
| 2010-10-08 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| 2010-10-08 |
Christian Urban |
added apendix to paper detailing one proof
|
file |
diff |
annotate
|
| 2010-10-08 |
Christian Urban |
minor
|
file |
diff |
annotate
|
| 2010-10-08 |
Christian Urban |
minor
|
file |
diff |
annotate
|
| 2010-10-08 |
Christian Urban |
down to 20 pages
|
file |
diff |
annotate
|
| 2010-10-07 |
Cezary Kaliszyk |
minor
|
file |
diff |
annotate
|
| 2010-10-06 |
Christian Urban |
down to 21 pages and changed strong induction section
|
file |
diff |
annotate
|
| 2010-10-06 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| 2010-10-06 |
Christian Urban |
down to 22 pages
|
file |
diff |
annotate
|
| 2010-10-05 |
Christian Urban |
down to 23 pages
|
file |
diff |
annotate
|
| 2010-10-05 |
Christian Urban |
down to 24 pages and a bit
|
file |
diff |
annotate
|
| 2010-10-05 |
Christian Urban |
llncs and more sqeezing
|
file |
diff |
annotate
|
| 2010-10-04 |
Christian Urban |
first part of sqeezing everything into 20 pages (at the moment we have 26)
|
file |
diff |
annotate
|
| 2010-10-04 |
Christian Urban |
changed to llncs
|
file |
diff |
annotate
|
| 2010-10-01 |
Cezary Kaliszyk |
Made the paper to compile with the renamings.
|
file |
diff |
annotate
|
| 2010-09-26 |
Christian Urban |
a few more words about Ott
|
file |
diff |
annotate
|
| 2010-09-03 |
Christian Urban |
got rid of Nominal2_Supp (is now in Nomina2_Base)
|
file |
diff |
annotate
|
| 2010-09-03 |
Christian Urban |
adapted paper to changes
|
file |
diff |
annotate
|
| 2010-07-23 |
Christian Urban |
samll changes
|
file |
diff |
annotate
|
| 2010-07-16 |
Christian Urban |
submitted version
|
file |
diff |
annotate
|
| 2010-07-16 |
Christian Urban |
more paper
|
file |
diff |
annotate
|
| 2010-07-16 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-16 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-15 |
Christian Urban |
a bit more to the paper
|
file |
diff |
annotate
|
| 2010-07-14 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-09 |
Christian Urban |
fixed
|
file |
diff |
annotate
|
| 2010-07-09 |
Christian Urban |
before examples
|
file |
diff |
annotate
|
| 2010-07-09 |
Christian Urban |
finished alpha-section
|
file |
diff |
annotate
|
| 2010-07-07 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-07 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-02 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-02 |
Christian Urban |
finished fv-section
|
file |
diff |
annotate
|
| 2010-07-01 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
| 2010-07-01 |
Christian Urban |
spell check
|
file |
diff |
annotate
|
| 2010-06-30 |
Christian Urban |
more work on the paper
|
file |
diff |
annotate
|
| 2010-06-23 |
Christian Urban |
some slight polishing on the paper
|
file |
diff |
annotate
|
| 2010-06-23 |
Christian Urban |
merged cezary's changes
|
file |
diff |
annotate
|
| 2010-06-10 |
Christian Urban |
added to the popl-paper a pointer to work by Altenkirch
|
file |
diff |
annotate
|
| 2010-06-01 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| 2010-05-26 |
Christian Urban |
added FSet to the correct paper
|
file |
diff |
annotate
|
| 2010-05-26 |
Christian Urban |
added FSet
|
file |
diff |
annotate
|
| 2010-05-25 |
Christian Urban |
edits from the reviewers
|
file |
diff |
annotate
|
| 2010-05-24 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
| 2010-05-19 |
Christian Urban |
added comments about pottiers work
|
file |
diff |
annotate
|
| 2010-05-18 |
Christian Urban |
soem minor tuning
|
file |
diff |
annotate
|
| 2010-05-16 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
| 2010-05-15 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
| 2010-05-14 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
| 2010-05-14 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
| 2010-05-13 |
Christian Urban |
tuned the paper
|
file |
diff |
annotate
|
| 2010-04-27 |
Christian Urban |
merged
|
file |
diff |
annotate
|
| 2010-04-27 |
Christian Urban |
one more pass over the paper
|
file |
diff |
annotate
|
| 2010-04-27 |
Christian Urban |
more polishing on the paper
|
file |
diff |
annotate
|
| 2010-04-26 |
Christian Urban |
some changes to the paper
|
file |
diff |
annotate
|
| 2010-04-21 |
Christian Urban |
some small changes
|
file |
diff |
annotate
|