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.111 Tue, 29 Oct 2002 14:30:40 +0100 by jahier · a5e54d03
    Erwan Jahier authored
    Parent-Version:      0.110
    Version-Log:
    
    source/util.ml:
    source/formula.ml:
    source/lurette.ml:
       Only print one counter example if the test failed.
    
    source/lurettetop.ml:
    source/gen_stubs.ml:
       try to guess the node name in lurettetop rather than in gen_stubs
       if not given.
    
    Project-Description: Lurette
    a5e54d03
.lurette.prcs_aux 7.84 KB