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

 
 
Latest News
Version 1.9.4 released posted by slawekk, Sat Mar 12 11:21:34 2016 - 0 replies
Version 1.9.2 released posted by slawekk, Mon Oct 20 18:36:14 2014 - 0 replies
Version 1.9.0 released posted by slawekk, Mon Jul 22 17:14:22 2013 - 0 replies
Version 1.7.4 released posted by slawekk, Wed Jun 27 17:38:06 2012 - 0 replies
IsarMathLib version 1.7.2 released posted by slawekk, Sat Jul 23 18:42:09 2011 - 0 replies
[Submit News]
[37 news in archive]

version 1.6.7 released

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

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

 

Back to the top


Powered by Savane 3.1-cleanup