| Tue, 02 Feb 2010 21:37:27 +0100 | wenzelm | some examples for basic context operations; | changeset | files |
| Tue, 02 Feb 2010 13:22:36 +0100 | wenzelm | minimal tuning of this slightly dated material; | changeset | files |
| Tue, 02 Feb 2010 13:11:04 +0100 | wenzelm | added Subgoal.FOCUS; | changeset | files |
| Tue, 02 Feb 2010 12:37:57 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Tue, 02 Feb 2010 11:47:49 +0100 | wenzelm | moved examples to proper place; | changeset | files |
| Mon, 01 Feb 2010 22:46:12 +0100 | wenzelm | more details on long names, binding/naming, name space; | changeset | files |
| Sun, 31 Jan 2010 22:08:25 +0100 | wenzelm | Variable.names_of; | changeset | files |