Mercurial > repo
view paste/paste.8858 @ 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-12-21.txt:21:03:14: <monqy> itidus21 do you understand bizarre notations 2011-12-23.txt:06:12:32: <itidus21> `pastelogs bizarre notations