blob: 7f548108bbc653e876e1a3cc63172135a14a38ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#load "discard_printf.cmo";;
#load "debug.cmo";;
#load "unix.cma";;
#load "str.cma";;
#load "my_unix.cmo";;
#load "bool.cmo";;
#load "glob_ast.cmo";;
#load "glob_lexer.cmo";;
#load "glob.cmo";;
#load "lexers.cmo";;
#load "my_std.cmo";;
#load "tags.cmo";;
|
