- Joined on Aug 21, 2018
scolobb pushed to master at scolobb/dds
-
cd8cada92e Add sbfs/state->lists+headers.
-
76c6bb5745 Finish adding sbfs/state->lists.
-
18c9828a5a Type tbn->network.
-
738ad858ae Add sbn?.
-
ab56b64d38 Add the type TBN.
- Compare 7 commits »
2 weeks ago
scolobb pushed to master at scolobb/dds
-
74347b5151 Add tabulate-tbfs/state and tabulate-tbfs/state+headers.
2 months ago
scolobb pushed to master at scolobb/dds
-
08d41dd4ca print-org-tbfs/state → tbfs/state->lists
2 months ago
scolobb pushed to master at scolobb/dossier-complet
-
52cf410fd3 Fold some headers at startup.
-
18ba31fede Slight fixes in administration.
- Compare 2 commits »
2 months ago
scolobb pushed to master at scolobb/work-site
-
b5f148fced Say that I am also elected to the CAc.
-
a1166ba7f0 Add the NNC publication.
- Compare 2 commits »
2 months ago
scolobb pushed to master at scolobb/dossier-complet
-
8fdd3d9b21 Add Noémie's internship.
-
31e47cd5b5 Update sectioning.
-
c7ea8cf266 Update the numbers of my publications.
-
29e8840280 Further update the references to sivanov-dblp.bib.
-
16a5e0f2f9 Add the NNC paper.
- Compare 8 commits »
2 months ago
scolobb pushed to master at scolobb/dds
-
b1b78917ce Add print-org-tbfs/state and print-org-tbfs/state+headers.
2 months ago
scolobb pushed to master at scolobb/dds
-
495ea18bb5 Type read-org-tbfs/state and add read-org-tbfs/state+headers.
2 months ago
scolobb pushed to master at scolobb/dds
-
b611115f8c Add lists+vars->sbfs/state, lists+headers->sbfs/state, lists->sbfs/state.
-
43d782f149 Add lists->tbfs/state.
-
3455b8aae1 Add lists+headers->tbfs/state.
- Compare 3 commits »
2 months ago
scolobb pushed to master at scolobb/dds
-
764b4612f1 Make the sandbox sizes 10 times bigger for all scribblings.
-
72454c395c Add lists+vars->tbfs/state.
-
7c5333555c Add sectioning to tbn.scrbl.
- Compare 3 commits »
2 months ago
scolobb pushed to master at scolobb/dds
-
e8ebab58ca Type apply-tbf/state.
-
b8b9fee9ce Type sbf/state?.
- Compare 2 commits »
2 months ago
scolobb pushed to master at scolobb/tgb
-
163630e8e3 Compte rendu du CA du 2023-04-02.
-
ea2e6fc12c Mettre en page selon la typographie du français.
- Compare 2 commits »
2 months ago
scolobb pushed to master at scolobb/tgb
-
3cc7223a7d Ajouter une mention sur les fichiers nécessaires pour la compilation.
2 months ago
scolobb pushed to master at scolobb/tgb
-
ebff7085d0 Corrections dans README.
-
1f4683a12c Corrections dans README.
- Compare 2 commits »
2 months ago
scolobb pushed to master at scolobb/tgb
-
bdb6c80ddf Ajouter le README.
-
aa2d285a94 compte-rendus → comptes-rendus
- Compare 2 commits »
2 months ago