Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

  • Andrei Paskevich's avatar
    several changes in syntax · aa2c430e
    Andrei Paskevich authored
    - No more "and", "or", "implies", "iff", and "~".
      Use "/\", "\/", "->", "<->", and "not" instead.
    
    - No more "logic". Use "function" or "predicate".
    aa2c430e
random.mlw 2.47 KB