forked from Isabelle_DOF/Isabelle_DOF
Commit Graph
-
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 -
fda02be889
dedukti-presentation
2023-10-10 09:54:49 +0200 -
989ab3c315
2023-04-26 10:24:20 +0200 -
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 -
b698572146
2023-09-14 06:33:28 +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 -
a78397693e
2023-07-20 14:32:03 +0200 -
9812bc0517
2023-07-20 10:11:48 +0200 -
b364880bfc
2023-02-21 17:38:45 +0100 -
d835665b6b
2023-07-19 12:54:57 +0200 -
1a8cdb8014
2023-07-19 12:48:42 +0200 -
5a7cbf2da5
2023-06-20 11:05:11 +0200 -
7f7780f8fd
2023-06-19 19:09:48 +0200 -
889805cccc
2023-06-19 09:19:28 +0200 -
5a07aa2453
2023-06-16 18:37:00 +0200 -
cef4086029
2023-06-16 11:54:33 +0200 -
9df276ac6f
2023-06-12 08:49:43 +0200 -
b4f1b8c321
2023-06-06 19:03:20 +0200 -
59b082d09d
2023-06-06 16:44:11 +0200 -
1869a96b2d
2023-06-04 12:01:38 +0200 -
e95c6386af
2023-06-04 10:20:13 +0200 -
23a85cc8c2
2023-06-01 17:58:55 +0200 -
ddcfb5f708
2023-06-01 00:21:19 +0200 -
02d13cdcad
2023-05-27 21:48:04 +0200 -
d353ff07cc
2023-05-27 20:56:56 +0200 -
38035785da
2023-05-27 20:56:47 +0200 -
2b0dfc48e3
tikzposter
2023-05-23 15:22:08 +0200 -
203b19ff8b
parallelization
2023-05-25 15:17:38 +0200 -
7e7c197ac3
2023-05-25 11:42:31 +0200 -
4f8e588138
2023-05-24 14:17:16 +0200 -
2c0b51779e
2023-05-24 12:38:29 +0200 -
350ff6fe76
2023-05-23 07:49:41 +0200 -
c803474950
2023-05-19 16:19:00 +0200 -
e17f09e624
2023-05-19 16:16:30 +0200 -
8051d4233e
2023-05-17 13:57:35 +0200 -
b4b63ce989
2023-05-17 12:42:16 +0200 -
2dc16b263f
2023-05-17 12:19:30 +0200 -
5754bb4adc
2023-05-17 09:17:17 +0200 -
c7debc577b
2023-05-17 09:16:41 +0200 -
9c94593f45
2023-05-17 06:39:44 +0200 -
4d89250606
2023-05-16 12:27:19 +0200 -
3f06320034
2023-05-15 17:56:39 +0200 -
49faed4faf
2023-05-15 17:55:52 +0200 -
1a22441f3e
2023-05-15 14:31:01 +0200 -
df1b2c9904
2023-05-15 14:29:11 +0200 -
9064cd3f62
2023-05-15 14:28:56 +0200 -
f5b8d4348b
2023-05-15 13:16:40 +0200 -
d225a3253c
2023-05-15 13:03:52 +0200 -
2ee0bc5074
2023-05-15 13:02:52 +0200 -
9683ea7efa
2023-05-15 13:02:49 +0200 -
bce097b1d6
2023-05-15 13:02:41 +0200 -
65d6fb946d
2023-05-15 12:23:31 +0200 -
060f2aca89
2023-05-15 10:50:08 +0200 -
ba7c0711a8
2023-05-15 10:48:40 +0200 -
4adbe4ce81
2023-05-15 10:20:12 +0200 -
7e698a9e69
2023-05-15 10:16:34 +0200 -
2569db05c3
2023-05-15 10:16:31 +0200 -
cd311d8a3a
2023-05-15 09:34:35 +0200 -
fb69f05ac0
2023-05-15 06:34:49 +0000 -
1986d0bcbd
2023-05-15 06:34:34 +0000 -
bbac65e233
2023-05-15 08:30:33 +0200 -
9cd34d7815
2023-05-15 07:35:11 +0200 -
641bea4a58
2023-05-15 00:01:30 +0200 -
d0cd28a45c
2023-05-14 17:35:00 +0200 -
db4290428f
2023-05-13 18:22:27 +0200 -
43da6d3197
2023-05-13 18:20:29 +0200 -
a93046beac
2023-05-13 00:09:44 +0200 -
b8282b771e
2023-05-12 20:04:44 +0200 -
86bf3ea5b9
pass-on-manual
2023-04-25 08:29:56 +0200 -
1cfc4ac88a
2023-05-12 17:50:50 +0200 -
e9044e8d5a
2023-05-12 17:50:42 +0200 -
6bab138af6
2023-05-12 17:50:17 +0200 -
fcc25f7450
2023-05-12 17:47:18 +0200 -
e97cca1a2c
2023-05-12 17:17:57 +0200 -
33fd1453a0
2023-05-12 17:04:30 +0200 -
543c647bcc
2023-05-12 16:19:29 +0200 -
f7141f0df8
2023-05-12 16:19:14 +0200 -
514ebee17c
2023-05-12 15:11:37 +0200