Timeline



Mar 7, 2014:

12:52 PM Changeset [3466] by asperti
Removed function that is only in the standard library. Maaaany more to …

Feb 21, 2014:

8:49 PM Changeset [3465] by piccolo
8:34 PM Changeset [3464] by piccolo
static_dinamic in place
6:15 PM Changeset [3463] by piccolo
5:51 PM Changeset [3462] by campbell
Some final changes before submission.
11:50 AM Changeset [3461] by mulligan
more fiddling
11:24 AM Changeset [3460] by mulligan
more fiddling, commit to avoid conflicts
10:35 AM Changeset [3459] by mulligan
small changes to abstract again

Feb 20, 2014:

7:15 PM Changeset [3458] by piccolo
7:14 PM Changeset [3457] by piccolo
4:45 PM Changeset [3456] by mulligan
more small changes to bib file, including filling in paolo's qapl …
4:20 PM Changeset [3455] by mulligan
more space saving. now down to 16 pages + 1 page bibliography
1:01 PM Changeset [3454] by mulligan
a little more
12:38 PM Changeset [3453] by mulligan
reworking up to Section 2
11:57 AM Changeset [3452] by mulligan
changes to second para
11:43 AM Changeset [3451] by mulligan
de-Tristram Shandefied the opening paragraph
11:26 AM Changeset [3450] by mulligan
small rewordings of the abstract, working on rest of paper
10:59 AM Changeset [3449] by piccolo
clean up

Feb 19, 2014:

6:45 PM Changeset [3448] by piccolo

Feb 18, 2014:

5:43 PM Changeset [3447] by piccolo
correctness proof in place
12:03 PM Changeset [3446] by piccolo
Correctness proof, closed all cases except the big lemma one

Feb 17, 2014:

5:45 PM Changeset [3445] by piccolo
correctness proof finished with a big open lemma
12:37 PM Changeset [3444] by mulligan
More language changes. At end of file.
12:09 PM Changeset [3443] by mulligan
More changes, including more missing references (including to CerCo?'s …
11:40 AM Changeset [3442] by mulligan
Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.
11:17 AM Changeset [3441] by mulligan
Some language/spelling changes in fopara2013.tex up to Section 2. …
Note: See TracTimeline for information about the timeline view.