forked from Isabelle_DOF/Isabelle_DOF
Commit Graph
-
bdc8477f38
2023-05-12 09:42:52 +0200 -
7e01b7de97
2023-05-11 18:18:40 +0200 -
8bdd40fc20
2023-05-11 16:21:37 +0200 -
9cc03c0816
2023-05-11 13:18:12 +0200 -
e9cfcdbcbc
2023-05-11 12:48:49 +0200 -
36740bf72b
2023-05-11 11:48:05 +0200 -
b8da1a304a
2023-05-10 18:31:27 +0200 -
5b519fcbe6
2023-05-10 15:54:17 +0200 -
50da7670cf
2023-05-10 15:54:02 +0200 -
09d1b27f10
2023-05-10 15:21:35 +0200 -
34e23b314f
2023-05-10 15:21:29 +0200 -
0aa9f1ff25
2023-05-10 12:37:29 +0200 -
3f8fc4f16f
2023-05-10 11:13:45 +0200 -
b62b391410
2023-05-10 10:40:44 +0200 -
41a4f38478
2023-05-10 10:40:19 +0200 -
ca8671ee1c
2023-05-09 23:12:50 +0200 -
9e210b487a
2023-05-09 23:08:57 +0200 -
6317294721
2023-05-09 22:37:41 +0200 -
762680a20c
2023-05-09 20:18:33 +0200 -
850244844b
2023-05-09 20:17:00 +0200 -
322d70ef69
2023-05-09 16:15:47 +0200 -
b04ff7e31a
2023-05-09 12:59:42 +0200 -
7ba220e417
2023-05-09 12:16:37 +0200 -
713a24615f
2023-05-09 12:13:23 +0200 -
7ffdcbc569
2023-05-09 04:14:57 +0200 -
43ce393e4a
2023-05-07 17:43:31 +0100 -
4326492b39
2023-05-06 15:55:22 +0200 -
1e7f6a7c18
2023-05-06 15:15:53 +0200 -
a087e94ebe
2023-05-05 06:18:51 +0100 -
78cb606268
2023-05-04 14:20:40 +0100 -
c40a5a74c1
2023-05-04 14:11:32 +0100 -
fc214fc391
2023-05-03 11:57:59 +0100 -
f613811154
2023-05-03 10:55:44 +0200 -
4c66716999
2023-05-03 10:55:37 +0200 -
639abb6cf5
2023-05-02 23:06:02 +0100 -
2c00f4b8db
2023-05-02 22:34:34 +0100 -
d9e2f251d2
2023-05-02 12:21:48 +0200 -
cec21c9935
2023-05-02 11:37:03 +0200 -
640a867f28
2023-04-28 15:00:10 +0100 -
0c654e2634
2023-04-28 11:21:13 +0100 -
01bcc48c79
2023-04-28 11:20:23 +0100 -
c3aaaf9ebb
2023-04-28 07:33:24 +0100 -
47e8fc805f
2023-04-27 14:54:52 +0100 -
02bf9620f6
2023-04-27 14:54:22 +0100 -
18be1ba5f5
2023-04-27 14:51:53 +0200 -
93c722a41b
2023-04-27 07:21:00 +0200 -
0f48f356df
2023-04-26 18:58:01 +0200 -
870a4eec57
2023-04-27 13:35:40 +0100 -
4df233e9f4
2023-04-27 13:35:11 +0100 -
5d7b50ca7f
2023-04-27 13:03:07 +0200 -
1ebfaccb50
2023-04-27 13:02:57 +0200 -
7ce3fdf768
2023-04-27 13:02:37 +0200 -
db130bd6ce
2023-04-26 15:31:14 +0200 -
496a850700
2023-04-26 08:37:45 +0100 -
101f96a261
2023-04-26 08:16:39 +0100 -
49aa29ee68
2023-04-26 08:16:32 +0100 -
2919f5d2a5
2023-04-26 07:14:46 +0200 -
6cafcce536
2023-04-25 22:05:33 +0200 -
ebce149d6a
2023-04-25 17:50:05 +0200 -
6984b9ae03
2023-04-25 17:09:36 +0200 -
74e2341971
2023-04-25 16:21:05 +0200 -
16caefc7be
2023-04-25 16:20:58 +0200 -
0d74645d2e
2023-04-24 22:26:39 +0100 -
f906d45d48
2023-04-24 12:15:27 +0200 -
761a336a7a
2023-04-24 12:05:04 +0200 -
16cb700c1a
fix-scholarly-paper-latex-output
2023-04-17 15:02:38 +0200 -
b3f396fb08
2023-04-20 14:52:57 +0200 -
77aeb3b7ca
2023-04-20 14:29:38 +0200 -
81208f73a8
2023-04-20 14:29:25 +0200 -
f093bfc961
2023-04-20 11:46:50 +0200 -
2c7df482e8
2023-04-20 09:47:30 +0200 -
c9de5f2293
2023-04-20 09:47:22 +0200 -
c6dc848438
2023-04-20 07:11:16 +0200 -
1acf863845
2023-04-19 21:50:51 +0200 -
a6aca1407e
2023-04-19 21:50:43 +0200 -
4c953fb954
2023-04-19 21:17:07 +0200 -
77e8844687
2023-04-19 15:57:43 +0200 -
939715aba9
2023-04-17 15:02:38 +0200 -
d809211481
2023-04-19 13:17:26 +0200 -
480272ad86
2023-04-16 08:45:16 +0100 -
d277fa2aed
2023-04-15 16:55:15 +0100 -
9318ea55a0
2023-04-15 16:52:25 +0100 -
3408b90f89
2023-04-15 13:16:14 +0100 -
dd0a9981a3
2023-04-15 10:30:04 +0200 -
e549bcb23c
2023-04-14 21:23:23 +0100 -
04c8c8d150
2023-04-14 21:04:08 +0100 -
a5885b3eb5
2023-04-14 20:56:43 +0100 -
4cdb6d725b
2023-04-14 20:55:23 +0100 -
486ae2db97
2023-04-14 20:54:45 +0100 -
fb8da62182
2023-04-14 14:46:15 +0200 -
6c588c3fe4
2023-04-14 10:41:14 +0200 -
3ab6f665eb
2023-04-13 22:00:35 +0200 -
0c8bc2cab3
2023-04-13 18:29:10 +0200 -
20ac16196a
2023-04-12 14:25:48 +0200 -
d62cd04e26
2023-04-12 13:48:24 +0200 -
96d20c127f
2023-04-12 13:46:05 +0200 -
394189e9e0
2023-04-12 13:14:00 +0200 -
1f79e37d9b
2023-04-12 13:11:09 +0200 -
b43de570a4
2023-04-12 10:34:56 +0200 -
debddc45d2
2023-04-12 10:34:41 +0200