scolobb

• Joined on Aug 21, 2018

Repositories Public Activity Starred Repositories

0

Following

0

Followers

0

Loading Heatmap…

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/work-site

• ad4a11f3b5 Update the news.

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

• 15bb8d00c2 Mise à jour logo.

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

• 1f4683a12c Corrections dans README.

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

scolobb pushed to master at scolobb/tgb

• 4ebf1ff232 Compte rendu du CA du 2023-03-29.

2 months ago

scolobb created branch master in scolobb/tgb

2 months ago