Tue, 14 Aug 2012 13:20:59 +0200 | blanchet | be less aggressive at kicking out chained facts | changeset | files |
Tue, 14 Aug 2012 12:54:26 +0200 | blanchet | recognize bus errors as crash | changeset | files |
Tue, 14 Aug 2012 12:49:42 +0200 | blanchet | consider removing chained facts last, so that they're more likely to be kept | changeset | files |
Tue, 14 Aug 2012 13:01:09 +0200 | wenzelm | clarified format of etc/options: only declarations, not re-definitions; | changeset | files |
Tue, 14 Aug 2012 12:26:02 +0200 | wenzelm | check_errors for cumulative session content; | changeset | files |
Tue, 14 Aug 2012 12:21:32 +0200 | wenzelm | even more defensive path expansion (see also 8d381fdef898); | changeset | files |