Homotopy Type Theory universe > history (history)

October 4, 2022

• Current (diff)
  by Anonymous? on October 4, 2022 at 13:39:36.

June 16, 2022

• Revision 28 (diff)
  by Anonymous? on June 16, 2022 at 12:26:39.

June 15, 2022

• Revision 27 (diff)
  by Anonymous? on June 15, 2022 at 23:04:31.

June 9, 2022

• Revision 26 (diff)
  by Anonymous? on June 9, 2022 at 21:17:05.

May 1, 2022

• Revision 25 (diff)
  by Anonymous? on May 1, 2022 at 22:53:28.
• Revision 24 (diff)
  by Anonymous? on May 1, 2022 at 22:21:59.

August 10, 2019

• Revision 23 (diff)
  by Anonymous? on August 10, 2019 at 04:54:06.

August 7, 2018

• Revision 22 (diff)
  by Jonas Frey? on August 7, 2018 at 19:47:54.

March 7, 2018

• Revision 21 (diff)
  by Floris van Doorn on March 7, 2018 at 19:13:27.

March 26, 2016

• Revision 20 (diff)
  by Murad U? on March 26, 2016 at 03:55:28.

January 22, 2016

• Revision 19 (diff)
  by Bas Spitters on January 22, 2016 at 22:20:35.

June 24, 2015

• Revision 18 (diff)
  by Bas Spitters on June 24, 2015 at 09:38:35.
• Revision 17 (diff)
  by Mike Shulman on June 24, 2015 at 04:34:23.

June 4, 2015

• Revision 16 (diff)
  by Bas Spitters on June 4, 2015 at 08:28:30.

November 21, 2014

• Revision 15 (diff)
  by Urs Schreiber on November 21, 2014 at 15:49:40.

October 23, 2014

• Revision 14 (diff)
  by Urs Schreiber on October 23, 2014 at 14:03:47.

October 17, 2014

• Revision 13 (diff)
  by Urs Schreiber on October 17, 2014 at 15:45:18.

June 25, 2014

• Revision 12 (diff)
  by Cesare Gallozzi on June 25, 2014 at 05:15:53.

June 6, 2014

• Revision 11 (diff)
  by Mike Shulman on June 6, 2014 at 19:13:55.

June 4, 2014

• Revision 10 (diff)
  by Mike Shulman on June 4, 2014 at 05:43:45.

June 3, 2014

• Revision 9 (diff)
  by Mike Shulman on June 3, 2014 at 08:31:59.

May 29, 2014

• Revision 8 (diff)
  by Mike Shulman on May 29, 2014 at 05:17:57.

May 14, 2014

• Revision 7 (diff)
  by Alexis Hazell? on May 14, 2014 at 00:27:52.

May 10, 2014

• Revision 6 (diff)
  by Alexis Hazell? on May 10, 2014 at 20:17:30.

May 9, 2014

• Revision 5 (diff)
  by Alexis Hazell? on May 9, 2014 at 21:55:37.
• Revision 4 (diff)
  by Alexis Hazell? on May 9, 2014 at 02:04:39.

May 3, 2014

• Revision 3 (diff)
  by Mike Shulman on May 3, 2014 at 12:28:32.

May 2, 2014

• Revision 2 (diff)
  by Mike Shulman on May 2, 2014 at 12:18:36.

March 31, 2014

• Revision 1
  by Mike Shulman on March 31, 2014 at 11:54:13.