Timeline


and

Jun 14, 2013:

6:01 PM Changeset [3360] by tranquil
aggiustate le figure
5:48 PM Changeset [3359] by tranquil
recuperato un po' della formalizzazione, ancora in fondo.
4:43 PM Changeset [3358] by sacerdot
4:32 PM Changeset [3357] by sacerdot
4:21 PM Changeset [3356] by sacerdot
3:21 PM Changeset [3355] by sacerdot
1:33 PM Changeset [3354] by boender
- one more
1:30 PM Changeset [3353] by boender
- addressed minor corrections by referees
1:13 PM Changeset [3352] by boender
- nicified formulas
11:54 AM Changeset [3351] by sacerdot
11:46 AM Changeset [3350] by sacerdot

Jun 13, 2013:

6:10 PM Changeset [3349] by tranquil
statements
1:22 PM Changeset [3348] by tranquil
ipotesi della forward simulation

Jun 12, 2013:

6:14 PM Changeset [3347] by tranquil
andato avanti…
2:50 PM Changeset [3346] by sacerdot
12:13 PM Changeset [3345] by sacerdot

Jun 11, 2013:

10:31 PM Changeset [3344] by sacerdot
6:43 PM Changeset [3343] by tranquil
file parallelo
2:13 PM Changeset [3342] by boender
- completed reworking of proofs

Jun 7, 2013:

6:26 PM Changeset [3341] by boender
- more notation stuff (still needs work!)
6:17 PM Changeset [3340] by sacerdot
Final version
6:02 PM Changeset [3339] by tranquil
passed biblio to bibtex, and some aesthetical changes
5:13 PM Changeset [3338] by boender
- updated statement of main correctness statement (still needs work)
3:12 PM Changeset [3337] by mulligan
Final changes
2:32 PM Changeset [3336] by mulligan
80% done, synch. commit
12:18 PM Changeset [3335] by amadio
rob
11:36 AM Changeset [3334] by mulligan
About half way through

Jun 6, 2013:

6:56 PM Changeset [3333] by stark
Edinburgh institution title
6:53 PM Changeset [3332] by sacerdot
+Randy
6:02 PM Changeset [3331] by mulligan
Some changes to the English in the abstract. e.g. loosing -> losing
5:36 PM Changeset [3330] by piccolo
5:15 PM Changeset [3329] by tranquil
passed the spell checker
5:05 PM Changeset [3328] by tranquil
cut some text, reordered bibliography
3:13 PM Changeset [3327] by tranquil
static word wrap
3:07 PM Changeset [3326] by piccolo
2:59 PM Changeset [3325] by piccolo
2:54 PM Changeset [3324] by piccolo
bibliography added
1:50 PM Changeset [3323] by piccolo
citazioni
12:19 PM Changeset [3322] by sacerdot
Down to 17 pages, ugh.
12:16 PM Changeset [3321] by sacerdot
11:49 AM Changeset [3320] by sacerdot

Jun 5, 2013:

7:26 PM Changeset [3319] by tranquil
added some more text describing the output pf the cost plugin
7:07 PM Changeset [3318] by sacerdot
7:02 PM Changeset [3317] by tranquil
moved workflow figure and added a descriptive text
6:46 PM Changeset [3316] by sacerdot
Short future works section.
6:17 PM Changeset [3315] by sacerdot
6:09 PM Changeset [3314] by sacerdot
Text shortened.
5:40 PM Changeset [3313] by tranquil
redrawn fork flow in tikz, adding the cost plugin

Jun 4, 2013:

6:38 PM Changeset [3312] by sacerdot
6:37 PM Changeset [3311] by sacerdot
6:19 PM Changeset [3310] by sacerdot
An example.
4:48 PM Changeset [3309] by sacerdot
An abstract.
4:34 PM Changeset [3308] by sacerdot
Authors and affiliations
4:17 PM Changeset [3307] by sacerdot
Importing text from D1.4.

May 30, 2013:

5:28 PM Changeset [3306] by tranquil
altre modifiche e qualche taglio (i risultati per tll e tal)

May 29, 2013:

6:25 PM Changeset [3305] by tranquil
messo qualche figura, e molte notazioni

May 23, 2013:

11:02 AM Changeset [3304] by boender
- added 2012 reviews - updated affiliation

May 22, 2013:

9:23 AM Changeset [3303] by amadio
r

May 17, 2013:

12:15 PM Changeset [3302] by mckinna
removed local verison for JHM's machine wp6.tex definitive
8:35 AM Changeset [3301] by mckinna
updates: wp6.tex is definitive

May 16, 2013:

8:06 AM Changeset [3300] by mckinna
updates
12:51 AM Changeset [3299] by sacerdot
12:51 AM Changeset [3298] by sacerdot

May 15, 2013:

10:51 PM Changeset [3297] by tranquil
final version
10:37 PM Changeset [3296] by sacerdot
10:36 PM Changeset [3295] by sacerdot
4:18 PM Changeset [3294] by mckinna
draft final version: more to say than to put on slides etc.
12:39 PM Changeset [3293] by mckinna
more: desitination data (partial)
11:17 AM cpp-2011.pdf attached to WikiStart by sacerdot
11:16 AM WikiStart edited by sacerdot
(diff)
10:45 AM Changeset [3292] by mckinna
update
9:46 AM Changeset [3291] by mckinna
template beamer file, and notes for the talk more later today!
2:24 AM Changeset [3290] by stark
Minor edits to slides
Note: See TracTimeline for information about the timeline view.