X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Fxmhtml%2Ftest.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Fxmhtml%2Ftest.ml;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=6c9d3715adfda907f964bbe10d1e798a5f7d98d0;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/xmhtml/test.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/xmhtml/test.ml deleted file mode 100644 index 6c9d3715a..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/xmhtml/test.ml +++ /dev/null @@ -1,38 +0,0 @@ -(* $Id$ *) - -let test_string2 = String.concat ~sep:"" [ - "\n"; - "
\n"; - "You can invoke this program with a command line argument, like this:\n"; - "