Timeline



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

Oct 20, 2014:

12:53 PM Changeset [3512] by mulligan
more work on the introduction
Note: See TracTimeline for information about the timeline view.