]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gtkxmhtml_tags.var
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 (file)
index ad93931..0000000
+++ /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
-]