PatR dfa9d9df3c
untested Guidebook.tex fix ...
A recent change accidentally put a dash where a hyphen (default
value for S_golem) is intended. I'm not sure whether verbatim is
necessary here, but it ought to work.
2024-07-19 15:34:38 -07:00
2023-09-06 12:39:17 -04:00
2022-06-18 10:29:15 -04:00
2024-02-28 20:15:56 -08:00
2023-08-28 16:17:41 -04:00
2023-11-23 17:24:33 -08:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2023-02-16 23:43:37 -08:00
2024-07-15 13:13:01 -07:00
2024-02-28 20:15:56 -08:00
2020-02-14 18:15:25 -08:00
2023-11-06 14:43:50 -06:00
2024-07-17 07:37:19 -07:00
2024-07-19 15:34:38 -07:00
2024-03-11 17:31:32 -04:00
2024-06-14 19:50:20 +03:00
2024-05-16 23:38:54 -07:00
2024-05-13 10:16:03 -04:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2024-02-28 20:15:56 -08:00
2024-02-29 09:03:00 -05:00
2024-02-28 20:15:56 -08:00
2022-02-22 20:14:44 -05:00
2023-11-23 17:24:33 -08:00
2024-02-28 20:15:56 -08:00
2024-02-29 07:40:19 -05:00
2023-02-09 20:07:18 -05:00
2024-03-19 18:59:23 +02:00
dfa9d9df3c