X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;h=83c69c63598ecfd5f31df7b1f16975929ced2b8f;hb=d6cb4446b6c5653dcdfb555959e388ef1c4c6411;hp=b03b3d8891af19ab4751dcdc3d8bf93712afa37f;hpb=9f22237fa52f20bdfed254a9837f7ff05ba2c9bb;p=helm.git diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index b03b3d889..83c69c635 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -2,75 +2,124 @@
- + | ||
+
+
+
+ |
+
+ Documentation
+ + + All available information about MathQL-1 can be found in the papers below + (listed in order of relevance): + + + Papers concerning the latest version of MathQL-1:
- |
-
- Documentation
- - - - |
-