diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 16:26:28 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 16:26:28 -0400 |
commit | a4a7692d226262376d2cea2480033227f885cd7e (patch) | |
tree | b3ffa7341fa823b37569845c5890dd24700fae69 /tests | |
parent | b2eb9f45b9b14e5c7f53d0ad7ca8e84aa7858b59 (diff) |
Basic XML stuff
Diffstat (limited to 'tests')
-rw-r--r-- | tests/html.lac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/html.lac b/tests/html.lac new file mode 100644 index 00000000..96966014 --- /dev/null +++ b/tests/html.lac @@ -0,0 +1,3 @@ +val text : xml[Html] = <html> + <head/> +</html> |