Timeline



Mar 8, 2017:

5:58 PM Changeset [3645] by mulligan
last commit of the day…
5:07 PM Changeset [3644] by mulligan
intro finished?
4:51 PM Changeset [3643] by mulligan
4:24 PM Changeset [3642] by mulligan
1:53 PM Changeset [3641] by mulligan
minor rewording before rems meeting
1:50 PM Changeset [3640] by mulligan
more work on intro…
1:01 PM Changeset [3639] by mulligan
more fiddling
12:34 PM Changeset [3638] by mulligan
moved big chunk of material out of intro, into conclusions
12:25 PM Changeset [3637] by mulligan
12:03 PM Changeset [3636] by mulligan
more rewriting, fiddling, rephrasing etc.
11:16 AM Changeset [3635] by mulligan
more work on intro…
11:01 AM Changeset [3634] by mulligan
more fleshing out
10:45 AM Changeset [3633] by mulligan
Fleshed out first part of introduction.

Mar 7, 2017:

11:04 AM Changeset [3632] by mulligan
Small tweaks before work on another paper
10:50 AM Changeset [3631] by mulligan
Rewrote abstract

Mar 6, 2017:

9:09 PM Changeset [3630] by mulligan
more on related work: mention of hume, and start of talk of raml …
8:25 PM Changeset [3629] by mulligan
tweaks…
7:37 PM Changeset [3628] by mulligan
refinements to conclusions
7:27 PM Changeset [3627] by mulligan
Abstract tweaks, compression, removing redundancies and ugly turns of …
7:22 PM Changeset [3626] by mulligan
Changes to main cerco.tex file: Changed subtitle to something a …
5:20 PM Changeset [3625] by mulligan
more work on related work section
5:15 PM Changeset [3624] by mulligan
more work on related work section
5:12 PM Changeset [3623] by boender
Added D2.1 as a base for the architecture parts
4:20 PM Changeset [3622] by boender
Added necessary file
4:19 PM Changeset [3621] by mulligan
refinements to summary, starting work on related work section
4:06 PM Changeset [3620] by boender
Rewrote introduction to sound less futuristic/defensive
4:02 PM Changeset [3619] by boender
Added section on Matita
3:50 PM Changeset [3618] by boender
Added Matita section
3:50 PM Changeset [3617] by mulligan
first draft of summary section of conclusion
3:36 PM Changeset [3616] by boender
Introduction: spell check
3:31 PM Changeset [3615] by boender
Moved paper structure comments to their relevant sections
3:28 PM Changeset [3614] by boender
Rewrote introduction, and moved development section
2:35 PM Changeset [3613] by boender
Cut paper into sections, continued introduction rewrite
2:26 PM Changeset [3612] by mulligan
more work on conclusions prior to meeting student
2:23 PM Changeset [3611] by boender
Rewrote introduction
2:13 PM Changeset [3610] by mulligan
started rewriting conclusions, making it less defensive and going on …
1:58 PM Changeset [3609] by boender
Prettified author list
1:51 PM Changeset [3608] by mulligan
added outline of paper, after discussion with jaap
12:51 PM Changeset [3607] by mulligan
more structure to paper
12:47 PM Changeset [3606] by mulligan
changed bibstyle to correct one
12:46 PM Changeset [3605] by mulligan
bib file
12:43 PM Changeset [3604] by mulligan
fopara intro as a base
12:37 PM Changeset [3603] by mulligan
added abstract from fopara as a base to work from
12:32 PM Changeset [3602] by mulligan
fixed up addresses, names, etc. for consistency
12:28 PM Changeset [3601] by boender
Added my address
12:24 PM Changeset [3600] by mulligan
addresses, authors, title, etc.
12:13 PM Changeset [3599] by mulligan
more initialisation work…
12:12 PM Changeset [3598] by mulligan
added empty tex file
12:11 PM Changeset [3597] by mulligan
changed to current year…
12:10 PM Changeset [3596] by mulligan
added jar style files
12:07 PM Changeset [3595] by mulligan
added new directory for paper

Feb 27, 2017:

10:50 AM Changeset [3594] by sacerdot
Old stuff never committed is now committed
Note: See TracTimeline for information about the timeline view.