Commit 8c3af172 authored by Gérard Huet's avatar Gérard Huet

Last additions to manual before release

parent 40e8a8f1
......@@ -168,7 +168,7 @@ value rec string_word sol_st word = fun
]
;
(* Need to replace the following function by a more standard function *)
(* We should replace the following function by a more standard primitive *)
value normalize_end = fun
[ [ a :: rest ] ->
let normalized_a = match a with
......@@ -232,7 +232,7 @@ value aid_using translit checkpts sentence topic st cp us lex cache abs
[ [] -> String.sub init 0 ((String.length init)-1)
| [ a :: rest ] ->
if cur_ind = chunk_ind then decoded init (cur_ind+1) rest
else decoded (init ^ (decode a) ^ "+") (cur_ind+1) rest
else decoded (init ^ (decode a) ^ "+") (cur_ind+1) rest
] in
let updated_text = decoded "" 1 chunks in
let arg_string = arguments translit lex cache st us cp updated_text topic
......
......@@ -8,4 +8,4 @@
(**************************************************************************)
(* Generated by make version - see main Makefile *)
value version="3.00" and version_date="2017-06-20";
value version="3.00" and version_date="2017-06-21";
......@@ -72,6 +72,6 @@ In 2017 A rehaul of the global architecture was achieved, separating
the production of linguistic data resources issued from the generating lexicon
and the platform Web services operations proper. The two packages
are available at git repositories, namely
git@gitlab.inria.fr:huet/Heritage_Resources.git
git@gitlab.inria.fr:huet/Heritage_Platform.git
git@gitlab.inria.fr/huet/Heritage_Resources.git
git@gitlab.inria.fr/huet/Heritage_Platform.git
VERSION='3.00'
DATE='2017-06-20'
DATE='2017-06-21'
This diff is collapsed.
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