proof-general/isa/interface, branch master Emacs plugins for proof management systems removed (again) -- may use isar/interface -I false instead; 2005-09-17T11:12:42+00:00 Makarius Wenzel 2005-09-17T11:12:42+00:00 133e32197a6b68df8a04e32f95a90adc9b653ce3 






added option -U: Unicode (UTF-8) communication;
2005-09-14T19:11:45+00:00

Makarius Wenzel

2005-09-14T19:11:45+00:00

2751ceb769c4447c7ffc29207a2011bb928285a4












prefer emacs over xemacs, which rarely works out of the box;
2005-08-30T14:22:47+00:00

Makarius Wenzel

2005-08-30T14:22:47+00:00

d0c07033ee165a99d8e4aaee1f0ab8868f36ec2c












tuned;
2005-07-19T16:24:26+00:00

Makarius Wenzel

2005-07-19T16:24:26+00:00

fc1c3f61737da67ff63532d5c201d16e455e8af2












use physical path;
2005-05-31T07:54:32+00:00

Makarius Wenzel

2005-05-31T07:54:32+00:00

354cc4322d7820aa2cfe62f794f014c232cb8913












added -L option;
2005-05-17T16:22:42+00:00

Makarius Wenzel

2005-05-17T16:22:42+00:00

741142ce77dd655b47b2b6fc4e58cb5ca7b0e7e4

tuned;





tuned;







undeleted;
2005-05-10T19:01:36+00:00

Makarius Wenzel

2005-05-10T19:01:36+00:00

11ed6aca6ea928f4ad28864d375668487a72e40f












Deleted file
2005-03-23T17:32:43+00:00

David Aspinall

2005-03-23T17:32:43+00:00

0ce9b459d94620e1be6acdd00c7f96c55ee0c44c












Changes from Clemens Ballarin for large X-Symbol fonts
2005-03-23T09:56:54+00:00

David Aspinall

2005-03-23T09:56:54+00:00

0139048d79b62b09128eabbaacd2168d32c3ae73












Remove title setting
2004-04-15T17:07:59+00:00

David Aspinall

2004-04-15T17:07:59+00:00

14d85dcfe91fa36a485a591c11009ffeb24259d5