Timeline

View changes from
and days back.

Ticket changes Milestones Wiki changes

12/09/09:

16:45 WikiStart edited by kowey

(diff)

16:41 Ticket #44 (elementary tree semantics should be unification of tree schema and lemma ...) created by kowey

See also #43

16:38 Ticket #43 (support subsumption with unification variables in relations) created by kowey

Not just the arguments, but the relations themselves.

15:51 WikiStart edited by kowey

(diff)

14:33 Ticket #42 (remove IAF code) created by kowey

The index accessibility filtering code is not being maintained. It should …

14:32 Ticket #41 (separate trash pile for last operation performed) created by kowey

This should make it easier to figure out what GenI is doing and why.

12/07/09:

18:17 Ticket #40 (geni: Prelude.foldr1: empty list) created by kowey

No idea why this happens.

12/02/09:

16:56 Installation edited by kowey

no need to install wx by hand; cabal can take care of that (diff)