Changeset 5ee15b9 in tol

Timestamp:

Apr 9, 2012, 4:20:47 PM (15 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

76e5375

Parents:

39d3b97

Message:

Refs #1497
Change to OIS version 02.17 [4498] requires TolPackage ugrades to 1.2 in TOL 3.2.

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@4511 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/stdlib/TolPackage/TolPackage.tol (modified) (1 diff)

tol/stdlib/TolPackage/TolPackage.tol

@@ -13 +13 @@
 Set _.autodoc.authors = [["vdebuen@tol-project.org"]];
 
-Text _.version = "1.1";
+Text _.version = "1.2";
 
 Text _.localRoot =