January 2017 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sun Jan 1 11:30:36 EST 2017
Ending: Sat Jan 28 18:44:37 EST 2017
Messages: 8

• [Ur] New release soon; any last change requests?   Adam Chlipala
• [Ur] New release soon; any last change requests?   fold at tuta.io
• [Ur] New release soon; any last change requests?   Adam Chlipala
• [Ur] Unsupported expression   Marco Maggesi
• [Ur] Unsupported expression   Adam Chlipala
• [Ur] Unsupported expression   Marco Maggesi
• [Ur] New release   Adam Chlipala
• [Ur] Searching for media server   Sergey Mironov

Last message date: Sat Jan 28 18:44:37 EST 2017
Archived on: Sat Jan 28 18:45:44 EST 2017

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...