Browse thread
toplevel with pre-installed printers
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Andrej Bauer <Andrej.Bauer@a...> |
| Subject: | toplevel with pre-installed printers |
This seems like a trivial question, but I do not know the answer: how do I create either a toplevel (or a shell script which appears to be a toplevel) with pre-installed pretty-printers (and pre-opened modules, for that matter)? Andrej