December 2019 Archives by subject

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

Starting: Wed Dec 4 10:26:04 EST 2019
Ending: Tue Dec 17 16:51:12 EST 2019
Messages: 8

• [Ur] Default settings using a generic record update   Mark Clements
• [Ur] Default settings using a generic record update   Ziv Scully
• [Ur] Default settings using a generic record update   Ziv Scully
• [Ur] Default settings using a generic record update   Mark Clements
• [Ur] Default settings using a generic record update   Ziv Scully
• [Ur] Help fixing Ur/Web's Travis script for Mac?   Adam Chlipala
• [Ur] Help fixing Ur/Web's Travis script for Mac?   Jason Gross
• [Ur] Planning a new Ur/Web release soon   Adam Chlipala

Last message date: Tue Dec 17 16:51:12 EST 2019
Archived on: Tue Dec 17 16:55:06 EST 2019

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