

@3643

2 years 
mulligan 
…



@3642

2 years 
mulligan 
…



@3641

2 years 
mulligan 
minor rewording before rems meeting



@3640

2 years 
mulligan 
more work on intro…



@3639

2 years 
mulligan 
more fiddling



@3638

2 years 
mulligan 
moved big chunk of material out of intro, into conclusions



@3637

2 years 
mulligan 
…



@3636

2 years 
mulligan 
more rewriting, fiddling, rephrasing etc.



@3635

2 years 
mulligan 
more work on intro…



@3634

2 years 
mulligan 
more fleshing out



@3633

2 years 
mulligan 
Fleshed out first part of introduction.



@3632

2 years 
mulligan 
Small tweaks before work on another paper



@3631

2 years 
mulligan 
Rewrote abstract



@3630

2 years 
mulligan 
more on related work: mention of hume, and start of talk of raml
…



@3629

2 years 
mulligan 
tweaks…



@3628

2 years 
mulligan 
refinements to conclusions



@3627

2 years 
mulligan 
Abstract tweaks, compression, removing redundancies and ugly turns of …



@3626

2 years 
mulligan 
Changes to main cerco.tex file:
Changed subtitle to something a …



@3625

2 years 
mulligan 
more work on related work section



@3624

2 years 
mulligan 
more work on related work section



@3623

2 years 
boender 
Added D2.1 as a base for the architecture parts



@3622

2 years 
boender 
Added necessary file



@3621

2 years 
mulligan 
refinements to summary, starting work on related work section



@3620

2 years 
boender 
Rewrote introduction to sound less futuristic/defensive



@3619

2 years 
boender 
Added section on Matita



@3618

2 years 
boender 
Added Matita section



@3617

2 years 
mulligan 
first draft of summary section of conclusion



@3616

2 years 
boender 
Introduction: spell check



@3615

2 years 
boender 
Moved paper structure comments to their relevant sections



@3614

2 years 
boender 
Rewrote introduction, and moved development section



@3613

2 years 
boender 
Cut paper into sections, continued introduction rewrite



@3612

2 years 
mulligan 
more work on conclusions prior to meeting student



@3611

2 years 
boender 
Rewrote introduction



@3610

2 years 
mulligan 
started rewriting conclusions, making it less defensive and going on …



@3609

2 years 
boender 
Prettified author list



@3608

2 years 
mulligan 
added outline of paper, after discussion with jaap



@3607

2 years 
mulligan 
more structure to paper



@3606

2 years 
mulligan 
changed bibstyle to correct one



@3605

2 years 
mulligan 
bib file



@3604

2 years 
mulligan 
fopara intro as a base



@3603

2 years 
mulligan 
added abstract from fopara as a base to work from



@3602

2 years 
mulligan 
fixed up addresses, names, etc. for consistency



@3601

2 years 
boender 
Added my address



@3600

2 years 
mulligan 
addresses, authors, title, etc.



@3599

2 years 
mulligan 
more initialisation work…



@3598

2 years 
mulligan 
added empty tex file



@3597

2 years 
mulligan 
changed to current year…



@3596

2 years 
mulligan 
added jar style files



@3595

2 years 
mulligan 
added new directory for paper



@3558

4 years 
boender 
 Added paragraph to branch displacement section



@3557

4 years 
mulligan 
bit more on bitvectortrie



@3556

4 years 
boender 
 Renamed old paper to something more appropriate



@3555

4 years 
mulligan 
dominic, jaap taking another look at the paper



@3522

4 years 
boender 
bibliography.



@3521

4 years 
boender 
 some more additions



@3520

4 years 
mulligan 
abstract added



@3519

4 years 
mulligan 
little more added about matita. finished introduction to matita



@3518

4 years 
mulligan 
little more added



@3517

4 years 
mulligan 
more about matita



@3516

4 years 
mulligan 
more on matita



@3515

4 years 
mulligan 
work with jb,dpm from today



@3514

4 years 
mulligan 
added outline of new paper



@3513

4 years 
mulligan 
renamed sttt paper



@3512

4 years 
mulligan 
more work on the introduction



@3477

5 years 
mulligan 
changes to intro, in progress…



@3476

5 years 
mulligan 
beginning reorientation of paper, rewrote abstract



@3475

5 years 
mulligan 
removed useless files



@3474

5 years 
mulligan 
…



@3473

5 years 
mulligan 
inlined section into main document, title change



@3472

5 years 
mulligan 
title and abstract changes



@3471

5 years 
mulligan 
reworked the abstract



@3470

5 years 
boender 
 added first version of STTT paper



@3469

5 years 
mulligan 
added final zip file commited to easychair



@3468

5 years 
campbell 
Move postproceedings submission out of the way.



@3462

5 years 
campbell 
Some final changes before submission.



@3461

5 years 
mulligan 
more fiddling



@3460

5 years 
mulligan 
more fiddling, commit to avoid conflicts



@3459

5 years 
mulligan 
small changes to abstract again



@3456

5 years 
mulligan 
more small changes to bib file, including filling in paolo's qapl …



@3455

5 years 
mulligan 
more space saving. now down to 16 pages + 1 page bibliography



@3454

5 years 
mulligan 
a little more



@3453

5 years 
mulligan 
reworking up to Section 2



@3452

5 years 
mulligan 
changes to second para



@3451

5 years 
mulligan 
deTristram Shandefied the opening paragraph



@3450

5 years 
mulligan 
small rewordings of the abstract, working on rest of paper



@3444

5 years 
mulligan 
More language changes. At end of file.



@3443

5 years 
mulligan 
More changes, including more missing references (including to CerCo?'s …



@3442

5 years 
mulligan 
Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.



@3441

5 years 
mulligan 
Some language/spelling changes in fopara2013.tex up to Section 2. …



@3440

5 years 
campbell 
Add a preformatted PDF.



@3439

5 years 
campbell 
Fiddle references back into one page.



@3438

5 years 
campbell 
Appendix about the reviewer's comments.



@3437

5 years 
campbell 
Deal more directly with some reviewer's comments.



@3436

5 years 
campbell 
Section 4.5 revisions.



@3435

5 years 
campbell 
Revise section 4.4.



@3434

5 years 
campbell 
Section 4.3 revised.



@3433

5 years 
campbell 
Revise sections 4.1, 4.2.



@3432

5 years 
campbell 
Consistently use ll spelling of labelled/labelling.



@3431

5 years 
campbell 
Note the specification language in Sec 3.



@3430

5 years 
campbell 
Revisions up to the end of section 3.


