4 Commits

Author	SHA1	Message	Date
Suter Andreas	bbb8550f96	since we moved to git, I cleaned up the svn prop's from the sources and added a GIT_REVISION through git-revision.h	2014-02-12 12:43:32 +01:00
nemu	f5df45e5b3	added theory function insert option	2009-03-23 08:29:57 +00:00
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