| Thu, 12 Sep 2013 17:13:36 +0200 | traytel | conceal low-level noted facts (+ FIXME to get rid of the notes altogether eventually) | changeset | files |
| Thu, 12 Sep 2013 16:58:22 +0200 | traytel | buffer the notes even more | changeset | files |
| Thu, 12 Sep 2013 16:31:42 +0200 | traytel | conceal internal bindings | changeset | files |
| Thu, 12 Sep 2013 15:46:44 +0200 | blanchet | add a notice to myself in doc | changeset | files |
| Thu, 12 Sep 2013 15:14:54 +0200 | blanchet | more robust approach to avoid Python byte code -- environment variables get inherited by subprocesses | changeset | files |
| Thu, 12 Sep 2013 15:14:53 +0200 | blanchet | unset some spurious executable flags | changeset | files |
| Thu, 12 Sep 2013 11:23:49 +0200 | traytel | handle corner case in tactic | changeset | files |