Mercurial > repo
view paste/paste.30696 @ 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-21.txt:02:02:22: <evincar> ...and you can do computation with both of them, so why not also with adjectives/sets? 2011-09-21.txt:02:17:53: <evincar> `log <cheater.*adjective 2011-09-21.txt:02:17:57: <HackEgo> 2011-09-21.txt:02:17:53: <evincar> `log <cheater.*adjective 2011-09-21.txt:02:18:44: <monqy> `pastelogs evincar.*adjective