Help save net neutrality! Learn more.
Close

pre_2to3 Log


Commit Date  
[cb53b1] (127 Bytes) by mtnyogi

Fixed bug #2913426: KFB Breaks Without Trailing Newline (real fix)

Also fixed the same problem for .krb files.

./testpyke works except for doc/source/using_pyke.txt

2010-03-03 16:25:51 View
Download
[9b9741] (128 Bytes) by mtnyogi

Fixed bug when there are no facts in a fact list for a goal being
proved.

2008-11-22 04:40:23 View
Download