Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

  • Erwan Jahier's avatar
    lurette 0.96 Mon, 30 Sep 2002 16:58:31 +0200 by jahier · 42c10bc1
    Erwan Jahier authored
    Parent-Version:      0.95
    Version-Log:
    
    source/ne.ml,mli:
    source/value.ml,mli:
       (new files) put everything that is related to normal expressions
       and values in thoses 2 new modules.
    
    source/ne.ml,mli:
    source/gne.ml,mli:
       Make the normal expressions and the guarded normal expression abstract.
    
    source/solver.ml:
       also fix a bug in the previous change (forgot to try make test ...)
    
    Project-Description: Lurette
    42c10bc1
.lurette.prcs_aux 5.31 KB