Timeline


and

Nov 20, 2014:

4:48 PM Changeset [3522] by boender
bibliography.
4:40 PM Changeset [3521] by boender
- some more additions
12:42 PM Changeset [3520] by mulligan
abstract added

Nov 18, 2014:

4:11 PM Changeset [3519] by mulligan
little more added about matita. finished introduction to matita
12:25 PM Changeset [3518] by mulligan
little more added
12:02 PM Changeset [3517] by mulligan
more about matita

Nov 17, 2014:

12:08 PM Changeset [3516] by mulligan
more on matita

Nov 14, 2014:

5:50 PM Changeset [3515] by mulligan
work with jb,dpm from today
4:22 PM Changeset [3514] by mulligan
added outline of new paper
3:44 PM Changeset [3513] by mulligan
renamed sttt paper
Note: See TracTimeline for information about the timeline view.