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.125 Fri, 21 Feb 2003 16:30:11 +0100 by jahier · 27272998
    Erwan Jahier authored
    Parent-Version:      0.124
    Version-Log:
    
    source/parse_env.ml:
       Make most fields of the automata syntax optional so that
       people are not obliged to refer to empty list of, eg,
       formula.
    
       Also add a field formula that let one defines global formula.
       This field is currently unplugged (ie, it parses, but the information
       contained in that fied in ignored).
    
    Project-Description: Lurette
    27272998
.lurette.prcs_aux 8.52 KB