December 2019 Archives by thread

• Messages sorted by: [ subject ] [ 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] Planning a new Ur/Web release soon   Adam Chlipala
• [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

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

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