Minor fixes, new citations

ML/COPYRIGHT

 (**************************************************************************)
 (*                                                                        *)
-(*              The Sanskrit Heritage Dictionary Generator                *)
+(*                     The Sanskrit Heritage Platform                     *)
 (*                                                                        *)
-(*                           Gérard Huet                                  *)
+(*                       Gérard Huet & Pawan Goyal                        *)
 (*                                                                        *)
 (* ©2018 Institut National de Recherche en Informatique et en Automatique *)
 (**************************************************************************)

ML/Makefile

@@ -233,6 +233,7 @@ chapters.cmx morpho_html.cmx bank_lexer.cmx cgi.cmx segmenter.cmx \
 morpho_scl.cmx load_morphs.cmx lexer.cmx constraints.cmx checkpoints.cmx \
 paraphrase.cmx scl_parser.cmx parser.cmx -o parser
 
+# corpus manager by Idir Lankri:
 corpus_manager: corpus_manager_cgi.cmx
 	$(LINK) str.cmxa unix.cmxa list2.cmx gen.cmx paths.cmx		\
 		version.cmx date.cmx control.cmx word.cmx canon.cmx	\

ML/dispatcher.ml

@@ -343,9 +343,9 @@ value validate_pv_k pv krit_form (delta,_) = (* see [Morpho.print_inv_morpho] *)
   let krit_stem = Word.patch delta krit_form in 
   let (homo,bare_stem) = homo_undo krit_stem in 
   let krit_infos = assoc_word bare_stem unique_kridantas in 
-  let ((conj,krit),root) = look_up_homo homo krit_infos in try
-  let gana_pada = extract_gana_pada_k krit in  
-  if conj=Primary then attested_verb gana_pada pv root else attested pv root
+  let ((conj,krit),root) = look_up_homo homo krit_infos in
+  try let gana_pada = extract_gana_pada_k krit in  
+      if conj=Primary then attested_verb gana_pada pv root else attested pv root
   with [ Unvoiced -> attested pv root ]
 ;
 (* We should verify aa- validation for phantomatic forms *)
@@ -369,10 +369,11 @@ value autonomous_form_k krid_form (delta,_) =
   let stem = Word.patch delta krid_form in
   let (homo,bare_stem) = homo_undo stem in
   let krid_infos = assoc_word bare_stem unique_kridantas in 
-  let ((conj,krit),root) = look_up_homo homo krid_infos in try
-  let gana_pada = extract_gana_pada_k krit in  
-  if conj=Primary then if filter_out_krit krit root then False
-                       else autonomous_root gana_pada root else True
+  let ((conj,krit),root) = look_up_homo homo krid_infos in 
+  try let gana_pada = extract_gana_pada_k krit in  
+      if conj=Primary then if filter_out_krit krit root then False
+                           else autonomous_root gana_pada root 
+      else True
   with [ Unvoiced -> autonomous root ]
 ;
 (* Checks whether a verbal or participial form is attested/validated *)
@@ -425,11 +426,11 @@ value apply_sandhi rleft right = fun
 (* [validate : output -> output] - dynamic consistency check in Segmenter.
    It refines the regular language of dispatch by contextual conditions
    expressing that preverbs are consistent with the following verbal form. 
-   The forms are then compounded, otherwise rejected. *)
-(* Things would be much simpler if we generated forms of verbs and kridantas
+   The forms are then compounded, otherwise rejected. 
+ Things would be much simpler if we generated forms of verbs and kridantas
  with (only valid) preverbs attached, since this check would be unnecessary.
  On the other hand, we would have to solve the ihehi problem. *)
-(* A similar kind of aggregation is effected for a few generative taddhitas,
+(* NB. A similar kind of aggregation is effected for a few generative taddhitas,
    but this is still experimental. *)
 value validate out = match out with
   [ [] -> []
@@ -610,7 +611,7 @@ value validate out = match out with
   | [ (ph,form,_) :: [ (Pron,[ 1; 48 ],_) :: _ ] ] (* sa *) -> 
       if Phonetics.consonant_initial (Word.mirror form)  
       then out else [] 
-    (* Or, if one wants to replace sa with sa.h : [
+    (* Alternatively, if one wants to replace "sa" with "sa.h" : [
   | [ ((ph,form,_) as last) :: [ (Pron,[ 1; 48 ],_) :: rest ] ] (* sa *) -> 
       let initial = List.hd (Word.mirror form) in 
       if Phonetics.consonant initial then 

ML/nouns.ml

@@ -4755,19 +4755,12 @@ value build_sat entry =
    ; Bare Noun (code ".sa.t")
    ]
 ;
-(* To verify: internal sandhi ought to allow formation of stem .sa.t *)
-
 (* Numerals 5, 7, 8, 9, 10, 11-19 *)
 value build_num stem entry = 
   let decline case suff = (case,fix stem suff) in 
   enter entry (
    [ Declined Noun (Deictic Numeral)
-   [ (Dual, if entry = "a.s.tan" then 
-            (* remains of dual form 8 as a pair of 4 *)
-            [ decline Nom "au"
-            ; decline Acc "au"
-            ] else [])
-   ; (Plural, let l =
+   [ (Plural, let l =
         [ decline Nom "a" (* plural although no proper plural form Whitney§483 *)
         ; decline Acc "a" 
         ; decline Ins "abhis"
@@ -4776,7 +4769,9 @@ value build_num stem entry =
         ; decline Gen "aanaam"
         ; decline Loc "asu"
         ] in if entry = "a.s.tan" then l @
-        [ decline Ins "aabhis"
+        [ decline Nom "au" (* remains of dual form 8 as a pair of 4 *)
+        ; decline Acc "au"
+        ; decline Ins "aabhis"
         ; decline Dat "aabhyas"
         ; decline Abl "aabhyas"
         ; decline Loc "aasu"

ML/verbs.ml

@@ -5266,7 +5266,7 @@ value den_stem_a entry = (* in general transitive Whitney§1059c *)
      (* to become \Pan{3,1,13} kya.s *)
    | "asu" (* lexicalized under "asuuya" *)
        -> lengthen rstem (* lengthening -aayati *) 
-   | "asuuya" (* "asu" lengthened *) | "gomaya" (* euphony *)
+   | "asuuya" (* "asu" lengthened *) | "gomaya" | "vyaya" (* euphony *)
        -> trunc (trunc rstem) 
    | "artha" | "veda" | "satya" (* \Pan{3,1,25} vt. *)
        -> [ 1 :: [ 37 :: [ 2 :: trunc rstem ] ] ] (* -aapayati - interc p *) 
@@ -5313,7 +5313,7 @@ value den_stem_m entry = (* in general intransitive or reflexive Whitney§1059c
    [ "artha" | "i.sa" | "kuha" | "carca" | "mantra" | "muutra" | "m.rga"
    | "viira" | "safgraama" | "suutra" (* also zithila below *)
        -> rstem (* (a)-yate *) 
-   | "asuuya" (* "asu" lengthened *)
+   | "asuuya" (* "asu" lengthened *) | "vyaya" (* euphony *)
        -> trunc (trunc rstem) 
    | "tavi.sa" | "citra" (* do \Pan{3,1,19} *) | "sajja"
        -> [ 4 :: trunc_a rstem ] (* -()iiyate *)

ML/version.ml

 (**************************************************************************)
 (*                                                                        *)
-(*              The Sanskrit Heritage Dictionary Generator                *)
+(*                     The Sanskrit Heritage Platform                     *)
 (*                                                                        *)
-(*                           Gérard Huet                                  *)
+(*                       Gérard Huet & Pawan Goyal                        *)
 (*                                                                        *)
 (* ©2018 Institut National de Recherche en Informatique et en Automatique *)
 (**************************************************************************)
 
 (* Generated by make version - see main Makefile *)
-value version="3.08" and version_date="2018-07-26";
+value version="3.08" and version_date="2018-08-25";

SETUP/version.txt

 VERSION='3.08'
-DATE='2018-07-26'
+DATE='2018-08-25'

SITE/portal.html

@@ -933,6 +933,7 @@ Sanskrit Book Fair: The Hindu, 06-01-11</a><br>
 <a href="http://mhrd.gov.in/sites/upload_files/mhrd/files/Report-CVRM.pdf">Vision
 and Roadmap for the Development of Sanskrit - Ten year perspective Plan (2016)</a><br>
 <a href="https://docs.google.com/viewer?a=v&pid=forums&srcid=MTQyNTE0MTcxODQxNzMxMDM3MDQBMDQyMzA3MDU2NTQ3NTQ1NTE2NDkBWTFFNU9oRUhOd0FKATAuMQEBdjI">Steps taken for the development of Sanskrit language and literature, communication of Government of India to Lok Sabha, 02-05-16</a><br>
+<a href="https://www.thehindu.com/opinion/op-ed/how-to-move-a-mountain/article24682600.ecee">How to move a mountain, The Hindu, 14-08-18</a><br>
 
 <h2 class="b2"> Sanskrit videos</h2>