History / SATToSE 2012

link fix

grammarware committed Oct 10, 2012

screencast

grammarware committed Aug 20, 2012

fix

grammarware committed Aug 20, 2012

slides

grammarware committed Aug 20, 2012

Updated SATToSE 2012 (markdown)

cderoove committed Aug 16, 2012

Added Vadim's abstract

cderoove committed Aug 13, 2012

misspellings

grammarware committed Aug 10, 2012

Got a new link from Andrea.

cderoove committed Aug 8, 2012

Moved Tom to the end (arrives around noon), added two contributions from SCG, updated version of Tesfahun's abstract .

cderoove committed Aug 8, 2012

Corrected time slot for second session.

cderoove committed Aug 6, 2012

Updated SATToSE 2012 (markdown)

cderoove committed Aug 6, 2012

Kate's talk

cderoove committed Aug 6, 2012

Updated SATToSE 2012 (markdown)

cderoove committed Aug 6, 2012

final rename

grammarware committed Aug 6, 2012