proof-general/isar/interface, branch master Emacs plugins for proof management systems Make shell and perl scripts executable. 2016-09-19T16:35:56+00:00 Erik Martin-Dorel 2016-09-19T16:35:56+00:00 b219fc3a64062c0a76daba7512acb1439b4965d1 This addresses part of the issues pointed out in #112 
This addresses part of the issues pointed out in #112
added option -f FONT; 2011-01-27T19:54:20+00:00 Makarius Wenzel 2011-01-27T19:54:20+00:00 6590017aedb5ce046d952fa5a1b9dab1f5bf364d 






more robust THIS/SUPER: allow spaces;
2009-11-21T19:36:07+00:00

Makarius Wenzel

2009-11-21T19:36:07+00:00

37de2996da5255159703148363b31d001a301300

modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";





modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";







Isabelle2008 compatibility;
2009-09-02T14:24:17+00:00

Makarius Wenzel

2009-09-02T14:24:17+00:00

7eef3eac6fc116b4e5bf3d733494b6086cf13091












less ambitious array operations -- for improved compatibility with older versions of bash;
2009-08-22T20:28:22+00:00

Makarius Wenzel

2009-08-22T20:28:22+00:00

b94d41c5af6e35684b9dacec840ef2e7c9031a38












ISABELLE_TOOL refers to "isabelle" tool wrapper;
2009-07-29T16:19:55+00:00

Makarius Wenzel

2009-07-29T16:19:55+00:00

61e29fa38387e10b73efc36040b06473386b9036

ISABELLE_PROCESS refers to "isabelle-process";





ISABELLE_PROCESS refers to "isabelle-process";







more robust treatment of options and arguments (via arrays and special @ expansion) -- allows spaces within parameters;
2009-05-30T20:56:04+00:00

Makarius Wenzel

2009-05-30T20:56:04+00:00

6d278e30b43a1d060f21e9b39d8cfecebebb5d61












accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;
2008-02-06T15:40:45+00:00

Makarius Wenzel

2008-02-06T15:40:45+00:00

655464a68bc699c3696aabe66edf339ef2968f64












fixed usage: default for option -p is emacs, not xemacs;
2008-01-25T20:55:05+00:00

Makarius Wenzel

2008-01-25T20:55:05+00:00

42d587525fb8558e0a15515e18bddcdff802d938












Default to using emacs now
2008-01-15T20:15:42+00:00

David Aspinall

2008-01-15T20:15:42+00:00

573d055d52c650389f122ddfa1de59d442f05feb