forked from Isabelle_DOF/Isabelle_DOF
Commit Graph
-
3285b8f065
markup-commands-in-locale
2024-05-28 08:53:58 +0200 -
3d9fcc99ab
2024-05-27 12:22:41 +0100 -
ddb780a529
2024-05-27 09:30:19 +0100 -
8283d2311c
2024-05-27 09:30:01 +0100 -
46e292d5d0
2024-05-27 08:36:23 +0100 -
c0996d4b1c
2024-05-27 08:32:36 +0100 -
9aa9d7cfe5
fun-with-term-antiquotations
2023-10-10 09:54:49 +0200 -
5146b139be
2023-04-26 10:24:20 +0200 -
8bbde674b9
2024-05-26 21:25:00 +0100 -
703cdbe175
2024-05-16 21:52:53 +0100 -
f51f864dbb
2024-05-16 21:52:40 +0100 -
0b7f125abf
2024-05-15 21:07:06 +0100 -
4e7b226059
2024-05-15 21:06:23 +0100 -
9feeb63665
2024-04-26 07:00:44 +0100 -
55e42142fa
2024-04-26 02:32:25 +0100 -
26774fc053
2024-04-18 09:11:26 +0100 -
7d6048bf64
2024-04-16 11:11:07 +0200 -
231892cd23
2024-04-16 11:11:04 +0200 -
c945da75fa
2024-04-15 14:28:31 +0200 -
b554f20a5c
2024-04-15 12:57:42 +0200 -
734c1953bd
2024-04-12 18:52:57 +0200 -
a735e9a1f2
2024-04-12 18:42:04 +0200 -
7c2a6099f8
2024-04-11 21:08:36 +0200 -
6dfefc6b4e
2024-04-09 09:27:14 +0200 -
3235410af3
2024-04-07 22:07:40 +0200 -
4745c58803
2024-04-07 22:04:09 +0200 -
28d1fa926e
2024-04-07 17:19:24 +0200 -
b651116af3
2024-04-05 15:23:33 +0200 -
93ef94cddb
2024-04-05 14:56:55 +0200 -
20e90f688f
2024-04-05 14:30:03 +0200 -
02b6d0b048
2024-04-05 13:40:44 +0200 -
f5a94ca962
2024-04-04 21:27:20 +0200 -
6b2879d1d6
2024-04-04 15:52:26 +0200 -
51d93e38f8
2024-04-04 11:51:09 +0200 -
7791538b54
2024-04-04 00:10:51 +0200 -
dee3b47d06
2024-04-04 10:08:41 +0200 -
0bf21336f1
2024-04-03 21:10:53 +0200 -
2b12e53cf4
2024-04-03 20:51:21 +0200 -
c2eea7696b
2024-04-03 16:15:29 +0200 -
20f163eba9
2024-04-03 15:01:25 +0200 -
2d2cb6c8ce
2024-04-02 23:50:32 +0200 -
f61e107515
2024-04-02 12:36:44 +0100 -
d3aefa63b1
2024-04-02 13:14:18 +0200 -
f0c379a5d2
2024-04-02 08:34:13 +0100 -
5d5eef1a46
2024-04-02 08:33:55 +0100 -
291b2e258f
2024-03-12 18:21:53 +0100 -
10b98b660f
2024-03-12 16:02:25 +0100 -
a1677384b3
2024-03-11 15:51:34 +0100 -
46b094939a
2024-03-04 14:32:46 +0100 -
42da18cf3a
2024-03-04 14:30:58 +0100 -
1740898171
2024-03-01 17:24:12 +0100 -
aa0a2c5f6a
2024-02-29 17:36:18 +0000 -
a79a3f539d
2024-02-29 17:36:08 +0000 -
ab05663738
2024-02-29 17:35:55 +0000 -
41dd3e4949
2024-02-29 10:09:45 +0100 -
aa6b3a16aa
2024-02-25 12:18:08 +0000 -
f44b5458f2
2024-02-25 11:46:12 +0000 -
c4875da7cb
2024-02-25 11:45:46 +0000 -
a286e4b1bc
2024-02-25 11:38:43 +0000 -
341523b223
2024-02-25 11:38:23 +0000 -
add058886f
2024-02-15 06:55:56 +0000 -
566c97b41c
2024-02-15 06:47:49 +0000 -
ed2a15db5d
2024-02-15 06:25:05 +0000 -
38985a1b47
2024-02-15 06:11:50 +0000 -
207029e70e
2024-02-14 11:15:13 +0100 -
645a3edcec
2024-02-08 19:23:56 +0000 -
5a760b9e2c
2024-02-08 19:23:46 +0000 -
572ec2d0bb
2024-02-08 19:20:09 +0000 -
d59dabaf7c
2024-02-06 11:01:16 +0100 -
f615eb6e4f
2024-01-01 05:15:16 +0000 -
415c9efdfa
2024-01-01 04:41:26 +0000 -
a31098c98d
string-attributes-as-input-source
2023-11-30 07:43:38 +0100 -
e78a114879
2023-11-24 18:12:50 +0100 -
443d63f3b5
2023-11-25 17:06:39 +0100 -
331fcd07f0
2023-11-20 16:57:01 +0100 -
5dc20889a8
2023-11-08 08:47:54 +0100 -
e2b3184a77
2023-09-21 04:58:34 +0200 -
7b54bf5ca5
2023-09-20 15:56:50 +0200 -
baa36b10c1
2023-09-20 15:00:43 +0200 -
c57ce6292b
2023-09-19 17:03:00 +0200 -
b9f3a9eb7e
2023-09-14 06:34:46 +0100 -
caeef3121a
2023-09-14 06:33:54 +0100 -
b698572146
2023-09-14 06:33:28 +0100 -
f2e102cf0f
2023-09-14 06:31:12 +0100 -
e12abadc94
2023-09-14 06:29:01 +0100 -
792fd60055
2023-09-12 18:58:58 +0100 -
ec7297f1d3
2023-09-11 09:07:10 +0200 -
e4ee3ff240
2023-08-31 08:27:53 +0100 -
4393042f2c
2023-08-29 08:09:28 +0100 -
fef7b9d60b
2023-08-29 06:40:37 +0100 -
ab7d695a77
2023-08-29 06:37:33 +0100 -
c063287947
2023-08-29 06:11:32 +0100 -
342984df3b
2023-08-04 07:01:42 +0100 -
5a8e79fb7e
2023-08-04 04:37:14 +0100 -
d7f9f10ef1
2023-08-03 03:41:43 +0100 -
0a3259fbca
2023-08-03 03:35:29 +0100 -
ca7cdec9b4
2023-07-20 16:31:08 +0200 -
43aad517b9
2023-07-20 16:25:25 +0200 -
8d6c8929e2
2023-07-20 16:14:25 +0200 -
b447a480fb
2023-07-20 15:04:39 +0200