Tue, 14 Sep 2010 19:38:44 +0200 | blanchet | use same hack as in "Async_Manager" to work around Proof General bug | changeset | files |
Tue, 14 Sep 2010 19:38:18 +0200 | blanchet | export function | changeset | files |
Tue, 14 Sep 2010 17:36:27 +0200 | blanchet | generalize proof reconstruction code; | changeset | files |