https://github.com/RichardMoot/LinearOne
Tip revision: 4ddcbda9e0e6844b3ca150308a0c6f2442e5b084 authored by Richard Moot on 16 March 2015, 19:10:44 UTC
Commented out natural deduction
Commented out natural deduction
Tip revision: 4ddcbda
portray_graph_none.pl
% = portray_graph(+Graph)
%
% no graph output output
:- module(portray_graph_tikz, [portray_graph/1,graph_header/0,graph_footer/1,latex_graph/1]).
portray_graph(_).
graph_header.
graph_footer(_).
latex_graph(_).