From 1ac7951d70bb5c850697643e3df303290f69bc74 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 24 Aug 2012 17:26:41 +0000 Subject: [PATCH] sample table for character classes --- matita/matita/contribs/BTM/web/chc_45.tbl | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 matita/matita/contribs/BTM/web/chc_45.tbl diff --git a/matita/matita/contribs/BTM/web/chc_45.tbl b/matita/matita/contribs/BTM/web/chc_45.tbl new file mode 100644 index 000000000..a822c986f --- /dev/null +++ b/matita/matita/contribs/BTM/web/chc_45.tbl @@ -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 * } -- 2.39.2