Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:
https://about.gitlab.com/releases/2021/03/17/security-release-gitlab-13-9-4-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/

Commit c4685859 authored by bguillaum's avatar bguillaum

correct handling of filters in GUI

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@6910 7838e531-6607-4d57-9587-6c381814729c
parent 4c75051e
......@@ -28,7 +28,7 @@ INFO = @INFO@
OCAMLFIND_DIR=`ocamlfind printconf destdir`
VERSION = 0.9.10
VERSION = 0.9.11
cleanup:
rm -rf *.cmo *.cmx *.cmi *.annot *.o *.*~
......
......@@ -168,3 +168,4 @@ let make_index ~title ~grs_file ~html ~grs ~seq ~output_dir ~base_names =
let get_css_file = Filename.concat DATA_DIR "style.css"
let graph_of_instance instance = instance.Instance.graph
......@@ -75,3 +75,5 @@ val make_index:
unit
val get_css_file: string
val graph_of_instance: Instance.t -> G_graph.t
......@@ -510,7 +510,7 @@ sequences:
| SEQUENCES seq = delimited(LACC,list(sequence),RACC) { seq }
sequence:
| doc = option(COMMENT) id = sequence_id mod_names = delimited(LACC,separated_nonempty_list_final_opt(SEMIC,IDENT),RACC)
| doc = option(COMMENT) id = sequence_id mod_names = delimited(LACC,separated_list_final_opt(SEMIC,IDENT),RACC)
{
{ Ast.seq_name = fst id;
seq_mod = mod_names ;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment