Graphe des révisions

19 Révisions

Auteur SHA1 Message Date
Yann Salmon
4111416d73 Update yssymbols.sty 2022-04-17 14:26:20 +02:00
Yann Salmon
19ab216908 Update yssymbols.sty 2022-04-16 17:27:01 +02:00
Yann Salmon
d8e287643f Update yssymbols.sty 2021-08-18 13:48:36 +02:00
Yann Salmon
c3efb37712 bugfix 2021-08-16 15:01:27 +02:00
Yann Salmon
c0d0c3ab39 Update paquets.sty and yssymbols.sty 2021-02-26 14:32:54 +01:00
Yann Salmon
b8a7406c8e Update yssymbols.sty 2021-02-25 19:43:56 +01:00
Yann Salmon
b914ea9a31 Update yssymbols.sty 2021-02-25 10:48:26 +01:00
Yann Salmon
196c48733c Update yssymbols.sty 2020-12-28 20:54:28 +01:00
Yann Salmon
df78ecf0ae Update inputTD.sty and yssymbols.sty 2020-10-29 09:47:39 +01:00
Yann Salmon
10a2b06730 Update yssymbols.sty 2020-10-06 23:39:24 +02:00
Yann Salmon
6fd817b6b8 Update yssymbols.sty 2020-06-14 20:52:48 +02:00
Yann Salmon
42dd8e53a6 variables métasyntaxiques encadrées plutôt que mises entre chevrons 2020-01-27 21:51:58 +01:00
Yann Salmon
d4c73215e3 pour écrire des ensembles quotients 2019-12-23 09:24:00 +01:00
Yann Salmon
36e78e9523 \enspart avec indice facultatif 2019-08-02 14:44:36 +02:00
Yann Salmon
006d46185b cardinal 2019-06-16 14:33:29 +02:00
Yann Salmon
5061fdbf84 définitions pour la sémantique 2019-05-14 10:14:37 +02:00
Yann Salmon
5d9139b7bb parties finies 2019-05-10 19:07:05 +02:00
Yann Salmon
fd630265c8 exponentielle 2019-03-03 23:17:37 +01:00
Yann Salmon
e7c5d7a3a5 fin de import 2019-02-24 14:23:54 +01:00