103 commits

Author	SHA1	Message	Date
Marc Beninca	2b7c82e322	others	2025-08-10 23:15:09 +02:00
Marc Beninca	dea8ec929d	proofs	2025-08-10 22:42:05 +02:00
Marc Beninca	f5e9e7157c	←	2025-08-10 21:52:36 +02:00
Marc Beninca	7d3e6619ae	md	2025-08-10 21:50:20 +02:00
Marc Beninca	e3088da00b	shrink	2025-08-10 21:45:46 +02:00
Marc Beninca	8dabdd7b85	lowercase	2025-08-10 21:40:47 +02:00
Marc Beninca	8a6c567463	h1	2025-08-10 21:31:52 +02:00
Marc Beninca	31eea0860f	numbers	2025-08-10 21:23:35 +02:00
Marc Beninca	e4774e623d	code	2025-08-10 21:10:22 +02:00
Marc Beninca	3791766337	keys	2025-08-10 21:04:02 +02:00
Marc Beninca	0eef7f251f	source	2025-08-10 20:40:18 +02:00
Marc Beninca	5690f3d3cc	test	2025-08-10 20:04:02 +02:00
Marc Beninca	6d10219972	[]	2025-08-10 19:30:59 +02:00
Marc Beninca	7158aae60f	marc/	2025-08-10 17:42:38 +02:00
Marc Beninca	279d376611	trim	2025-08-10 17:34:51 +02:00
Marc Beninca	8a3be694c3	fix	2025-08-08 23:55:56 +02:00
Marc Beninca	a465b9cbfd	ilos/	2025-08-08 23:54:18 +02:00
Marc Beninca	b9dc456478	ilos/	2025-08-08 23:45:56 +02:00
Marc Beninca	148f4c4454	tm	2025-08-08 23:34:03 +02:00
Marc Beninca	3ae2f6a2a5	|	2025-08-08 23:25:20 +02:00
Marc Beninca	069a95ab43	tables	2025-08-08 23:19:22 +02:00
Marc Beninca	25942f796d	compare	2025-08-08 23:02:46 +02:00
Marc Beninca	f616d7889b	cut	2025-08-08 22:52:42 +02:00
Marc Beninca	8ad4b5671d	empty	2025-08-08 22:50:47 +02:00
Marc Beninca	743a95719d	test	2025-08-08 22:49:44 +02:00
Marc Beninca	a7d3722e55	test	2025-08-08 22:42:54 +02:00
Marc Beninca	54f6eeb59c	→	2025-08-08 22:34:10 +02:00
Marc Beninca	b4b95aed12	,	2025-08-08 22:32:07 +02:00
Marc Beninca	6cf4376a55	−by	2025-08-08 22:28:42 +02:00
Marc Beninca	d4ebe0f327	→	2025-08-08 22:22:34 +02:00
Marc Beninca	2b84c14a61	:	2025-08-08 22:16:04 +02:00
Marc Beninca	a884d399ff	↔	2025-08-08 22:08:53 +02:00
Marc Beninca	e03de264b0	fixes	2025-08-08 21:53:43 +02:00
Marc Beninca	7339ba2556	marc	2025-08-08 21:32:29 +02:00
Marc Beninca	31dd1faf8e	wrap	2025-08-08 21:25:04 +02:00
Marc Beninca	8d38c9fffa	fixes	2025-08-08 21:17:41 +02:00
Marc Beninca	a3c4edab57	projects/rwx	2025-08-08 21:12:50 +02:00
Marc Beninca	9756bc786c	↕	2025-08-08 21:06:38 +02:00
Marc Beninca	141cf5795d	projects/beninca	2025-08-08 20:48:57 +02:00
Marc Beninca	211a4c059b	projects/rwx	2025-08-08 20:43:27 +02:00
Marc Beninca	cff83fbd3d	→	2025-08-08 17:54:06 +02:00
Marc Beninca	516e539d18	trim	2025-08-08 17:50:21 +02:00
Marc Beninca	26475c0012	subs	2025-08-08 17:48:50 +02:00
Marc Beninca	fd81192c1f	profile,projects	2025-08-08 17:39:08 +02:00
Marc Beninca	6e2e1e748f	projects/domains	2025-08-08 17:16:45 +02:00
Marc Beninca	09b4ecdcc3	profile/3	2025-08-08 16:59:47 +02:00
Marc Beninca	324d44deee	toc	2025-08-08 16:51:59 +02:00
Marc Beninca	ab6e238446	toc	2025-08-08 16:48:00 +02:00
Marc Beninca	4cacd45a06	profile,projects	2025-08-08 16:46:21 +02:00
Marc Beninca	4308346be2	profile,projects	2025-08-08 16:37:32 +02:00