10 Révisions

Include renames

Auteur	SHA1	Message	Date
Yann Salmon	6ccf593491	autant être le plus général possible…	2018-08-05 22:27:05 +02:00
Yann Salmon	97ce845259	script lua pour permettre la sélection du mode de compilation par un argument sur la ligne de commande	2018-08-05 21:59:19 +02:00
Yann Salmon	7a15dd29aa	bugfix	2018-08-05 19:20:53 +02:00
Yann Salmon	a4544b8760	bugfix et définitions pour Hoare	2018-08-05 18:53:22 +02:00
Yann Salmon	140f9542f3	code conditionné au chargement des paquets correspondants plutôt que des switch adhoc	2018-08-05 18:53:03 +02:00
Yann Salmon	3e2196fd82	gestion des documents beamer/beamerarticle	2018-08-05 18:52:08 +02:00
Yann Salmon	087f19ebd3	bugfix	2018-03-11 10:06:31 +01:00
Yann Salmon	c69419c5b0	possibilité de compter les questions globalement dans tout le document	2018-03-09 10:51:53 +01:00
Yann Salmon	e67faf5d91	extension explicite pour subimport	2018-02-27 23:36:19 +01:00
Yann Salmon	13480dc69d	commit initial	2018-02-21 19:12:43 +01:00