Commit Graph

3 Commits

Author SHA1 Message Date
Vítor Santos Costa 15404b3835 small
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
2015-12-15 09:28:43 +00:00
Vítor Santos Costa ce8a19d381 Add documentation 2015-11-18 15:06:25 +00:00
Vítor Santos Costa 48c87bd775 support fpr conj etc 2015-03-04 09:52:06 +00:00