Search Mailing List Archives
kaljurand at gmail.com
Mon Feb 19 08:45:37 PST 2007
do I understand correctly that
doesn't do any merging of axioms (yet)? They simply don't show up in the
ps. I'm sorry if you're getting this message twice, according to the p4-feedback
archives this message never made it to the list 4 days ago when I sent it.
More information about the p4-feedback