8 Commits

Author	SHA1	Message	Date
Andrei Paskevich	08c5987e9f	merge TPTP printer into the tptp plugin	2012-07-05 14:27:53 +02:00
Andrei Paskevich	6d1cd5f19f	tptp_tff: minor fixes	2012-06-30 00:49:39 +01:00
Andrei Paskevich	5f86c1382a	add TFF0 printer	2012-06-29 18:58:41 +01:00
Claude Marché	daae53d01f	fix headers	2012-04-09 18:55:15 +02:00
Andrei Paskevich	1b769a78ba	separate abstract types and logic symbols ... - put abstract types and aliases in Dtype of tysymbol - put (recursive) algebraic types in Ddata of (ts,constr list) list - put abstract function/predicate symbols in Dparam of lsymbol - put defined logic symbols in Dlogic of (ls,ls_definition) list	2012-03-18 06:32:41 +01:00
Andrei Paskevich	d2d1fc908c	rename printer "tptp" to "tptp-fof"	2011-11-12 11:50:22 +01:00
Andrei Paskevich	acd30d83ae	create source directory for plugins and build them	2011-11-12 00:12:17 +01:00
Andrei Paskevich	03d721f7a1	always allow plugins	2011-11-11 22:20:48 +01:00