X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fgtkxmhtml_tags.var;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fgtkxmhtml_tags.var;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=ad9393103576d33bc77dfe2a91811181fece31cd;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var
deleted file mode 100644
index ad9393103..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var
+++ /dev/null
@@ -1,30 +0,0 @@
-(* $Id$ *)
-
-type string_direction = "TSTRING_DIRECTION_" [
-  | `R_TO_L
-  | `L_TO_R
-]
-
-type position = "TALIGNMENT_" [
-  | `END
-  | `CENTER
-  | `BEGINNING
-]
-
-type line_type = "LINE_" [
-  | `SOLID
-  | `DASHED
-  | `SINGLE
-  | `DOUBLE
-  | `STRIKE
-  | `UNDER
-  | `NONE "NO_LINE"
-]
-
-type dither_type = "Xm" [
-  | `QUICK
-  | `BEST
-  | `FAST
-  | `SLOW
-  | `DISABLED
-]