newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 1.6.7 released

 
 
Show feedback again
Latest News
version 1.6.9 released posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies
version 1.6.7 released posted by slawekk, Wed 18 Feb 2009 01:33:17 AM UTC - 0 replies
version 1.6.6 released posted by slawekk, Thu 18 Dec 2008 11:15:07 PM UTC - 0 replies
version 1.6.5 released posted by slawekk, Mon 22 Sep 2008 01:01:30 AM UTC - 0 replies
version 1.6.4 released posted by slawekk, Sat 28 Jun 2008 09:15:48 PM UTC - 0 replies
[Submit News]
[30 news in archive]

version 1.6.7 released

Item posted by Slawomir Kolodynski <slawekk> on Wed 18 Feb 2009 01:33:17 AM UTC.

This version contains a tool that parses IsarMathLib theories (except those translated form Metamath) and produces HTML files for web presentation. All IsarMathLib theories are now presented on the FomalMath.org site. There is no new formalized mathematics in this release.

Comments:

No messages in version 1.6.7 released

 

Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup