]> matita.cs.unibo.it Git - helm.git/commitdiff
sample table for character classes
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 17:26:41 +0000 (17:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 17:26:41 +0000 (17:26 +0000)
matita/matita/contribs/BTM/web/chc_45.tbl [new file with mode: 0644]

diff --git a/matita/matita/contribs/BTM/web/chc_45.tbl b/matita/matita/contribs/BTM/web/chc_45.tbl
new file mode 100644 (file)
index 0000000..a822c98
--- /dev/null
@@ -0,0 +1,21 @@
+name "chc_45"
+
+table {
+   class "grey"
+   [ [ "class" ] "contents" * ]
+   class "orange"
+   [ [ "p" ] 1 "1"  "4"  "7" "10" "13" "16" "19" "22" "25" "28" "31" "34" "37" "40" "43" * ]
+   class "green"
+   [ [ "q" ] 1 "5" "11" "15" "17" "23" "29" "33" "35" "41" "45" * ]
+   class "sky"
+   [ [ "s" ] 1 "2"  "6"  "8" "14" "18" "20" "24" "26" "32" "38" "42" "44" * ]
+   class "magenta"
+   [ [ "t" ] 1 "3"  "9" "12" "21" "27" "30" "36" "39" * ]
+}
+
+
+class "component" { 0 }
+
+class "text" { 1 }
+
+class "number" { 2 * }