Commit graph

  • 70277274ef Fix keyword formatting main jaseg 2025-09-24 10:36:22 +02:00
  • 54a2ff173a Remove version logic for camera ready jaseg 2025-09-23 10:31:59 +02:00
  • 70daf2b35b Camera-ready changes jaseg 2025-09-23 10:30:12 +02:00
  • 0a19d07637 Camera-ready WIP jaseg 2025-08-28 21:06:39 +02:00
  • 5524677058 Final spell pass using grammarly v1-submitted-hs3-workshop jaseg 2025-05-26 17:58:44 +02:00
  • ef569c194a Make author line anonymous for peer review jaseg 2025-05-26 17:43:43 +02:00
  • 2f0fc89b99 Update with fixes from Konrad, proof references jaseg 2025-05-26 17:28:49 +02:00
  • 46da9173c5 Rework for 3.0/VAU version w/o SGD jaseg 2025-05-16 21:53:17 +02:00
  • 6937131126 Result of first proof jaseg 2025-05-15 23:34:15 +02:00
  • 9863ed460e Text mostly done jaseg 2025-05-15 17:45:38 +02:00
  • 3f1f1aacaf Initial commit jaseg 2025-05-10 13:52:06 +02:00