Commits · master · Isabelle / export-paper

Jun 30, 2020
- submitted final version to LIPIcs · e8b1366b
  Florian Rabe authored 4 years ago
  
  e8b1366b
Jun 23, 2020
- no message · 0b2e404f
  Florian Rabe authored 4 years ago
  
  0b2e404f
Jun 17, 2020
- no message · 9fee5de2
  Florian Rabe authored 4 years ago
  
  9fee5de2
- no message · d3b17d7f
  Florian Rabe authored 4 years ago
  
  d3b17d7f
Jun 16, 2020
- misc tuning for final version · 80cd5f4c
  Makarius Wenzel authored 4 years ago
  
  80cd5f4c
- clarified style · 811b6b31
  Makarius Wenzel authored 4 years ago
  
  811b6b31
- minor tuning to save space; · 670f9313
  Makarius Wenzel authored 4 years ago
  
  some text on piCoq
  670f9313
- minor tuning to save space · 9104e666
  Makarius Wenzel authored 4 years ago
  
  9104e666
- save space · 2839560c
  Makarius Wenzel authored 4 years ago
  
  2839560c
- another reference, as proposed by review · 008983c8
  Makarius Wenzel authored 4 years ago
  
  008983c8
May 05, 2020
- obsolete · fd6ed2f2
  Michael Kohlhase authored 4 years ago
  
  fd6ed2f2
- tweaks · b4736226
  Michael Kohlhase authored 4 years ago
  
  b4736226
- added for arXiv submission · d413a199
  Michael Kohlhase authored 4 years ago
  
  d413a199
- more ignorance · 45c28f89
  Michael Kohlhase authored 4 years ago
  
  45c28f89
- no message · 635a6f98
  Florian Rabe authored 4 years ago
  
  635a6f98
May 02, 2020
- minor tuning --- fit into page limit · cc7debfc
  Makarius Wenzel authored 4 years ago
  
  cc7debfc
- more stuff · 5e417dfc
  Makarius Wenzel authored 4 years ago
  
  5e417dfc
- minor tuning · 54f7d44d
  Makarius Wenzel authored 4 years ago
  
  54f7d44d
May 01, 2020
- tuned · a7411721
  Makarius Wenzel authored 4 years ago
  
  a7411721
- misc tuning · b3eafa18
  Makarius Wenzel authored 4 years ago
  
  b3eafa18
- clarified refs and URLs · 87acae28
  Makarius Wenzel authored 4 years ago
  
  87acae28
- no message · 2061f636
  Florian Rabe authored 4 years ago
  
  2061f636
- no message · 98e10b0e
  Florian Rabe authored 4 years ago
  
  98e10b0e
- Merge branch 'master' of gl.mathhub.info:Isabelle/export-paper · 00a37125
  Florian Rabe authored 4 years ago
  
  00a37125
- no message · 2d6f974a
  Florian Rabe authored 4 years ago
  
  2d6f974a
- more · 21d0a910
  Michael Kohlhase authored 4 years ago
  
  21d0a910
- tweaks · 24c6f5bf
  Michael Kohlhase authored 4 years ago
  
  24c6f5bf
- no message · 98877a70
  Florian Rabe authored 4 years ago
  
  98877a70
- re-generated · d0a27e04
  Michael Kohlhase authored 4 years ago
  
  d0a27e04
- merge · 482c2c9f
  Michael Kohlhase authored 4 years ago
  
  482c2c9f
- years update · 7db2d523
  Michael Kohlhase authored 4 years ago
  
  7db2d523
- moore · 899b0e7a
  Michael Kohlhase authored 4 years ago
  
  899b0e7a
- no message · cbfe62e1
  Florian Rabe authored 4 years ago
  
  cbfe62e1
- no message · a8dd941f
  Florian Rabe authored 4 years ago
  
  a8dd941f
- no message · 2a3f1725
  Florian Rabe authored 4 years ago
  
  2a3f1725
- no message · 1417699b
  Florian Rabe authored 4 years ago
  
  Merge branch 'master' of gl.mathhub.info:Isabelle/export-paper # Conflicts: # paper.pdf
  1417699b
- no message · 389554dd
  Florian Rabe authored 4 years ago
  
  389554dd
- less ednote · ab9718e9
  Michael Kohlhase authored 4 years ago
  
  ab9718e9
- no message · 443e2cec
  Florian Rabe authored 4 years ago
  
  443e2cec
- no message · a96ec532
  Florian Rabe authored 4 years ago
  
  a96ec532