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