Issues Show Unassigned Show All Search
Projects
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2005-10-25.20:23:33 by adikal, last changed 2005-10-29.06:22:14 by adikal.
added highlighting for entities in inference strike out irrevelant parts of axioms
indent based on link w/ previous axiom
order based on main entity highlight key entities of inference grey out parts of axioms not responsible for inference draw a relationship graph from axioms..show inferences as dotted lines in graph