blob: 77a995aa3ff6e9794fe22a7d949f1fc8beedaff9 (
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
|
load_printer "gramlib.cma"
load_printer "top_printers.cmo"
install_printer Top_printers.prid
install_printer Top_printers.prsp
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.ppterm0
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
|
