| Sun, 17 Apr 2011 20:58:43 +0200 | wenzelm | markup facts via name space; | changeset | files |
| Sun, 17 Apr 2011 20:25:10 +0200 | wenzelm | tuned -- order in memory according to variance; | changeset | files |
| 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 |