4 Commits

Author	SHA1	Message	Date
nemu	201692410a	implemented first full Theory Block handler	2009-03-22 15:52:11 +00:00
nemu	eef0dac3a9	some more work towards a theory block handler	2009-03-22 15:11:42 +00:00
nemu	c34679e350	adding some stuff needed for the theory block	2009-03-22 10:11:04 +00:00
nemu	094002948e	first idea of a theory block dialog added	2009-03-21 08:22:14 +00:00