diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-11-28 18:07:08 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-28 18:07:08 +0000 |
| commit | 894b4a2d13850f43dcc8c0eac815c1c51a67648d (patch) | |
| tree | fdc792a3e2742a93f0c63ffb23f30614320711ed /plastic | |
| parent | d02eaddd89f29d212c2e8f43b65047048a0d958f (diff) | |
isabelle-set-prog-name: more robust treatment of spaces in arguments;
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions