branch for universe

[helm.git] / matita / help / C / sec_license.xml

diff --git a/matita/help/C/sec_license.xml b/matita/help/C/sec_license.xml
new file mode 100644 (file)
index 0000000..47e1461
--- /dev/null
+++ b/matita/help/C/sec_license.xml
@@ -0,0 +1,8 @@
+
+<!-- ============= Application License ============================= -->
+
+<chapter id="sec_license">
+  <title>License</title>
+  &legal;
+</chapter>
+