X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fwhatsnew.html;h=72b12ff7cc7dfb1e17777a1143e0b7d0e93b6903;hb=5f240d0c42f1729689be272852083ecfb297a8e1;hp=66285b900560aa12c8fc283eacb591f4c744ccd1;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html index 66285b900..72b12ff7c 100644 --- a/helm/mathql/homepage/whatsnew.html +++ b/helm/mathql/homepage/whatsnew.html @@ -2,127 +2,140 @@
- + | ||
+
-
+
-
+
- |
-
-
+ + |
+
+
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 ufficial documentation yet.- - - -Changes and additions to MathQL-1 operators: + + Changes and additions to MathQL-1 operators: +
The syntax now is:- <query> := "add" [ "distr" ]? [ <groups> | -<avar> ] "in" <query>+
<value> := "align" <string> "in" <value>- + +
|
-