Mon, 27 Jul 2009 12:00:02 +0200 | wenzelm | enqueue/finish: return minimal/maximal state of this task; | changeset | files |
Mon, 27 Jul 2009 09:01:13 +0200 | haftmann | NEWS | changeset | files |
Sun, 26 Jul 2009 22:33:32 +0200 | wenzelm | tacticals FOCUS and FOCUS_PARAMS; | changeset | files |
Sun, 26 Jul 2009 22:28:31 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | changeset | files |
Sun, 26 Jul 2009 22:24:13 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | changeset | files |
Sun, 26 Jul 2009 20:57:19 +0200 | wenzelm | added focus_params/FOCUS_PARAMS, which focus on the parameter prefix only; | changeset | files |