blob: c89f2a8be8f5bf71aab9892a9d6ca92347026cb2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
load_printer "gramlib.cma"
load_printer "top_printers.cmo"
install_printer Top_printers.prid
install_printer Top_printers.prsp
install_printer Top_printers.prqualid
install_printer Top_printers.prast
install_printer Top_printers.prastpat
install_printer Top_printers.prastpatl
install_printer Top_printers.pppattern
install_printer Top_printers.pprawterm
install_printer Top_printers.ppterm
install_printer Top_printers.print_uni
install_printer Top_printers.pp_universes
install_printer Top_printers.pptype
install_printer Top_printers.prj
install_printer Top_printers.prgoal
install_printer Top_printers.prsigmagoal
install_printer Top_printers.prctxt
install_printer Top_printers.pproof
install_printer Top_printers.prevd
install_printer Top_printers.prevc
install_printer Top_printers.prwc
install_printer Top_printers.prclenv
|
