version.ml 723 Bytes
Newer Older
huet's avatar
huet committed
1 2
(**************************************************************************)
(*                                                                        *)
3
(*                     The Sanskrit Heritage Platform                     *)
huet's avatar
huet committed
4
(*                                                                        *)
5
(*                       Gérard Huet & Pawan Goyal                        *)
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 *)
Gérard Huet's avatar
Gérard Huet committed
11
value version="3.16" and version_date="2019-05-09";