Yann Salmon
|
eed8c72433
|
préparation pour triplers de Hoare
|
2018-09-03 10:35:54 +02:00 |
|
Yann Salmon
|
cd740c5c9c
|
ajout d'un mot clé pour caml
|
2018-09-03 10:35:42 +02:00 |
|
Yann Salmon
|
ff373bcfaf
|
réglages pour l'affichage des chemins
|
2018-08-16 17:49:45 +02:00 |
|
Yann Salmon
|
5457fd342f
|
apparence du mode article
|
2018-08-08 10:26:12 +02:00 |
|
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 |
|