diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-05-30 20:56:04 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-05-30 20:56:04 +0000 |
commit | 6d278e30b43a1d060f21e9b39d8cfecebebb5d61 (patch) | |
tree | cc75f4db48f1226c8c9fed122cc1a0a551f88074 /isar/isabelle-system.el | |
parent | 21e826b7cc3076364d72f6d4e453d4ffffed0982 (diff) |
more robust treatment of options and arguments (via arrays and special @ expansion) -- allows spaces within parameters;
Diffstat (limited to 'isar/isabelle-system.el')
0 files changed, 0 insertions, 0 deletions