view paste/paste.220 @ 368:20e728d1d953

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

2012-01-01.txt:01:38:28: <elliott> @time lambdabot 
2012-04-06.txt:19:17:18: <itidus20> @time lambdabot
2012-04-29.txt:05:13:36: <shubshub> @time lambdabot
2012-04-29.txt:05:14:28: <itidus20> `pastelog @time lambdabot