http://www.e-pig.org/epilogue/?p=126 for Epigram Sun, 6 Nov 2011 09:25:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://www.e-pig.org/epilogue/?p=126&cpage=1#comment-5919 Conor Wed, 23 Aug 2006 10:54:51 +0000 http://www.e-pig.org/epilogue/?p=126#comment-5919 As you may be able to divine from the darcs activity, I've been hacking on the train again. Mostly bug-hunting, to be honest. Upshot, we have some sort of navigable proof state with hole-filling and hole-emptying. The way is now clear for much tactic hacking. As you may be able to divine from the darcs activity, I’ve been hacking on the train again. Mostly bug-hunting, to be honest. Upshot, we have some sort of navigable proof state with hole-filling and hole-emptying. The way is now clear for much tactic hacking.

]]> http://www.e-pig.org/epilogue/?p=126&cpage=1#comment-5891 Conor Sun, 20 Aug 2006 19:45:00 +0000 http://www.e-pig.org/epilogue/?p=126#comment-5891 Pulled some patches, Sunday evening. Looks like some good progress. Also looks like I've screwed up a few things. Will get on the case in the morning. Cheers, James! Pulled some patches, Sunday evening. Looks like some good progress. Also looks like I’ve screwed up a few things. Will get on the case in the morning. Cheers, James!

]]>