https://github.com/Kappa-Dev/KaSim
Tip revision: 897fd18874fe27888e789dbf13b685515f76f4cc authored by Pierre Boutillier on 07 May 2021, 12:52:43 UTC
GUI: matchBrackets in codemirror
GUI: matchBrackets in codemirror
Tip revision: 897fd18
header.ml
(******************************************************************************)
(* _ __ * The Kappa Language *)
(* | |/ / * Copyright 2010-2020 CNRS - Harvard Medical School - INRIA - IRIF *)
(* | ' / *********************************************************************)
(* | . \ * This file is distributed under the terms of the *)
(* |_|\_\ * GNU Lesser General Public License Version 3 *)
(******************************************************************************)
