view paste/paste.1349 @ 368:20e728d1d953

<elliott> pastelogs proof general
author HackBot
date Mon, 30 Apr 2012 23:15:12 +0000
parents e037173e0012
children
line wrap: on
line source

2011-09-24.txt:02:00:59: <elliott> CakeProphet: just build a reverse context tree(tm)