| Sun, 17 Apr 2011 20:15:46 +0200 | wenzelm | eliminated obsolete markup -- superseded by generic "entity" markup; | changeset | files |
| Sun, 17 Apr 2011 19:54:04 +0200 | wenzelm | report Name_Space.declare/define, relatively to context; | changeset | files |
| Sun, 17 Apr 2011 13:47:22 +0200 | wenzelm | clarified pretty_parsetree: suppress literal tokens; | changeset | files |
| Sat, 16 Apr 2011 23:41:58 +0200 | wenzelm | PARALLEL_GOALS for simplification within auto_tac; | changeset | files |
| Sat, 16 Apr 2011 23:41:25 +0200 | wenzelm | PARALLEL_GOALS for method "simp_all"; | changeset | files |
| Sat, 16 Apr 2011 23:38:25 +0200 | wenzelm | enable PARALLEL_GOALS more liberally, unlike forked proofs (cf. 34b9652b2f45); | changeset | files |
| Sat, 16 Apr 2011 22:21:34 +0200 | wenzelm | refined PARALLEL_GOALS; | changeset | files |