

@3303

6 years 
amadio 
r



@3302

6 years 
mckinna 
removed local verison for JHM's machine wp6.tex definitive



@3301

6 years 
mckinna 
updates: wp6.tex is definitive



@3300

6 years 
mckinna 
updates



@3299

6 years 
sacerdot 
…



@3298

6 years 
sacerdot 
…



@3297

6 years 
tranquil 
final version



@3296

6 years 
sacerdot 
…



@3295

6 years 
sacerdot 
…



@3294

6 years 
mckinna 
draft final version: more to say than to put on slides etc.



@3293

6 years 
mckinna 
more: desitination data (partial)



@3292

6 years 
mckinna 
update



@3291

6 years 
mckinna 
template beamer file, and notes for the talk
more later today!



@3290

6 years 
Ian Stark 
Minor edits to slides



@3289

6 years 
sacerdot 
…



@3288

6 years 
sacerdot 
The deliverables resubmitted during the third period.



@3287

6 years 
tranquil 
backend slides



@3286

6 years 
Ian Stark 
Renaming and moving



@3285

6 years 
Ian Stark 
Renaming and moving



@3284

6 years 
Ian Stark 
Moving and renaming



@3283

6 years 
regisgia 
* Compiled version.



@3282

6 years 
regisgia 
* WP5 slides for the final review.



@3281

6 years 
tranquil 
back end correctness slides, alas still incomplete



@3280

6 years 
Ian Stark 
Front end final review talk?



@3279

6 years 
Ian Stark 
Renaming and moving



@3278

6 years 
Ian Stark 
Renaming and moving



@3277

6 years 
Ian Stark 
Renaming and moving



@3276

6 years 
Ian Stark 
Renaming and moving



@3275

6 years 
Ian Stark 
Renaming and moving



@3274

6 years 
Ian Stark 
Rnaming and moving



@3273

6 years 
Ian Stark 
Rnaming and moving



@3272

6 years 
Ian Stark 
Rnaming and moving



@3271

6 years 
Ian Stark 
Rnaming and moving



@3270

6 years 
Ian Stark 
Rnaming and moving



@3269

6 years 
Ian Stark 
Some revised slides in front end, not complete



@3268

6 years 
sacerdot 
Presentation for WP4 by Claudio.
Maybe to be moved into dissemination, …



@3267

6 years 
campbell 
Improve a few awkward parts of frontend slides.



@3266

6 years 
campbell 
Some f.e. revisions.



@3264

6 years 
campbell 
Draft a bit of missing content for frontend slides.



@3260

6 years 
campbell 
Start adapting previous talk to frontend review.



@3258

6 years 
sacerdot 
…



@3251

6 years 
sacerdot 
The files submitted and the mail sent to the officer/reviewers.



@3250

6 years 
sacerdot 
…



@3249

6 years 
Ian Stark 
UEDIN D3.4, D6.46.5



@3248

6 years 
sacerdot 
Typos fixed.



@3247

6 years 
Ian Stark 
UEDIN changes to D1.3 and D1.4



@3246

6 years 
sacerdot 
Instructions on how to make the LiveCD.



@3245

6 years 
sacerdot 
The final pages by Michela. To be appended to the PDF generated by Ian.



@3244

6 years 
sacerdot 
Final version.



@3243

6 years 
sacerdot 
The report, spellchecking needed.



@3242

6 years 
sacerdot 
New version with better description and copyright.



@3241

6 years 
sacerdot 
Debian package for matita_0.99.2



@3240

6 years 
Ian Stark 
Remove Microsoft Office droppings



@3239

6 years 
Ian Stark 
D1.4 updates



@3238

6 years 
sacerdot 
acctrusted bumper to version 0.2.



@3236

6 years 
campbell 
Sneak in a single word fix.



@3235

6 years 
tranquil 
compiler tarball



@3234

6 years 
sacerdot 
Debian packages committed.
Some are using git, so you need to clone …



@3233

6 years 
tranquil 
passed spell checker, added description of the cerco wrapper, minor …



@3232

6 years 
Ian Stark 
D1.4 small changes



@3231

6 years 
campbell 
Final revisions to 3.4.



@3230

6 years 
sacerdot 
Financial parts removed.



@3229

6 years 
mckinna 
numbers adjusted; only mentioned in running text under "Attendance"



@3228

6 years 
campbell 
Add a more formal note to the abstract in 3.4.



@3227

6 years 
campbell 
Last bits about lifting proof in 3.4.



@3226

6 years 
campbell 
More 3.4 revisions; mostly administrative.



@3225

6 years 
mckinna 
More spelling, more grammar, more phrasing



@3224

6 years 
mckinna 
revisions…



@3223

6 years 
campbell 
More revisions to 3.4.



@3222

6 years 
tranquil 
added pages to included papers. final version.



@3221

6 years 
sacerdot 
Added cercoexecutable to install.



@3220

6 years 
sacerdot 
…



@3219

6 years 
sacerdot 
Fixed: .in should be there.



@3218

6 years 
campbell 
Text about Cminor to RTLabs.



@3216

6 years 
campbell 
Revisions throughout 3.4.



@3215

6 years 
sacerdot 
 Version dumped to 0.2
 New executable cerco to be used with why3



@3214

6 years 
campbell 
Some 3.4 revisions.



@3213

6 years 
tranquil 
summary for D4.4, and other modifications



@3212

6 years 
campbell 
Sort out some "to do"s, minimal conclusion.



@3211

6 years 
campbell 
Put switch removal in correct place; describe cost labelling sim.



@3210

6 years 
sacerdot 
Final version.



@3209

6 years 
sacerdot 
Final version up to spelling.



@3208

6 years 
sacerdot 
Final version.



@3207

6 years 
sacerdot 
Final version up to spellchecking.



@3206

6 years 
sacerdot 
New publication.



@3205

6 years 
sacerdot 
New publication.



@3204

6 years 
sacerdot 
New publication and reindentation.



@3203

6 years 
campbell 
Text on structured trace construction.



@3202

6 years 
sacerdot 
…



@3201

6 years 
sacerdot 
…



@3200

6 years 
Ian Stark 
Final report summary



@3199

6 years 
Ian Stark 
D6.4/D6.5 executive summary



@3198

6 years 
sacerdot 
Spellchecked and reindented.



@3197

6 years 
sacerdot 
Spellchecked.



@3196

6 years 
sacerdot 
Spellchecked.



@3195

6 years 
sacerdot 
The followup letter.



@3194

6 years 
tranquil 
more on the role of the stack in the back end pass.
moved mauro.tex as …



@3193

6 years 
sacerdot 
Completed.



@3192

6 years 
sacerdot 
…



@3191

6 years 
garnier 
Some more info on cast removal


