X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fwhatsnew.html;h=1a15631ba5f1ba3ca03324c2eab1ba2c307a94cb;hb=25e78cf4cb68146c9285950af933458151770ddb;hp=66285b900560aa12c8fc283eacb591f4c744ccd1;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html index 66285b900..1a15631ba 100644 --- a/helm/mathql/homepage/whatsnew.html +++ b/helm/mathql/homepage/whatsnew.html @@ -2,127 +2,327 @@
- + | ||
+
+
-
+
+
-
+
- |
-
-
+ + |
+
+
What's new
- This page reports the newly implemented
-features of MathQL-1 that are not included in the ufficial
+
+ This page reports the newly implemented
+ features of MathQL-1 that are not included in the official documentation yet.- - - -Changes and additions to MathQL-1 operators: + + + +
+We are now implementing the new unstable version of MathQL-1 (i.e. MathQL-1.4).
+The main goals of this release are: |
-