version.ml 723 Bytes
Newer Older
huet's avatar
huet committed
1 2
(**************************************************************************)
(*                                                                        *)
Gérard Huet's avatar
Gérard Huet committed
3
(*              The Sanskrit Heritage Dictionary Generator                *)
huet's avatar
huet committed
4
(*                                                                        *)
Gérard Huet's avatar
Gérard Huet committed
5
(*                           Gérard Huet                                  *)
huet's avatar
huet committed
6
(*                                                                        *)
7
(* ©2018 Institut National de Recherche en Informatique et en Automatique *)
huet's avatar
huet committed
8 9 10
(**************************************************************************)

(* Generated by make version - see main Makefile *)
11
value version="3.07" and version_date="2018-05-26";