Nevar pievienot vairāk kā 25 tēmas
Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
|
(* Added by OPAM. *) |
|
let () = |
|
try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") |
|
with Not_found -> () |
|
;; |
|
|
|
#use "topfind";; |
|
#thread;; |
|
#camlp4o;; |
|
#require "async";; |
|
#require "core.top";; |
|
#require "core.syntax";;
|
|
|
