isarmathlib-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Isarmathlib-devel] IsarMathLib 1.7.5


From: Slawomir Kolodynski
Subject: [Isarmathlib-devel] IsarMathLib 1.7.5
Date: Tue, 9 Oct 2012 00:42:54 -0700 (PDT)


I have released IsarMathLib 1.7.5 with Daniel's contributions on examples of topological spaces.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]