Comments for Dominic Mulligan http://dominic-mulligan.co.uk Thu, 11 Oct 2012 16:08:03 +0000 hourly 1 http://wordpress.org/?v=3.5.1 Comment on Matita, a tutorial introduction [#2] by Wilayat http://dominic-mulligan.co.uk/?p=65#comment-26 Wilayat Thu, 11 Oct 2012 16:08:03 +0000 http://dominic-mulligan.co.uk/?p=65#comment-26 Hello
Please some one send me an updated tutorial (in English) for learning Matita.

Thanks,

Wilayat

]]> Comment on Matita, a tutorial introduction [#1] by Dominic Mulligan http://dominic-mulligan.co.uk/?p=49#comment-5 Dominic Mulligan Tue, 09 Oct 2012 13:51:46 +0000 http://dominic-mulligan.co.uk/?p=49#comment-5 Yeah, unfortunately there are quite a few dependencies! Any existing DEBs you run across are out of date—so don’t install them.

I’ve never made a DEB before and wouldn’t know where to start. Perhaps the best thing is to petition the Matita developers to actually update the existing DEBs that they created a while ago if you’re set on installing with a package. There’s a mailing list on the Matita website (which I should have added to the article).

]]> Comment on Matita, a tutorial introduction [#1] by Andrew Pennebaker http://dominic-mulligan.co.uk/?p=49#comment-4 Andrew Pennebaker Tue, 09 Oct 2012 13:33:24 +0000 http://dominic-mulligan.co.uk/?p=49#comment-4 Wow, that’s a lot of dependencies.

Could someone roll a .DEB install package for Matita?

]]>