]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/netstring_top.ml
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / netstring_top.ml
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6
7 let exec s =
8   let l = Lexing.from_string s in
9   let ph = !Toploop.parse_toplevel_phrase l in
10   assert(Toploop.execute_phrase false Format.err_formatter ph)
11 ;;
12
13 (* Install the printers: *)
14
15 exec "#install_printer Neturl.print_url;;";;
16 exec "#install_printer Netbuffer.print_buffer;;";;
17 exec "#install_printer Netstream.print_stream;;";;
18 exec "#install_printer Cgi.print_argument;;";;
19
20 (* ======================================================================
21  * History:
22  * 
23  * $Log$
24  * Revision 1.1  2000/11/17 09:57:28  lpadovan
25  * Initial revision
26  *
27  * Revision 1.2  2000/06/25 22:34:43  gerd
28  *      Added labels to arguments.
29  *
30  * Revision 1.1  2000/06/24 20:20:58  gerd
31  *      Initial revision.
32  *
33  * 
34  *)