This repository was archived by the owner on Nov 13, 2021. It is now read-only.

Commit 77e2fca

herbelin

committed

Suppression de la partie ML de la contrib correctness. Les fichiers

n'étaient plus compilés depuis le 14 janvier 2004 (avant la 8.0), Why ayant pris la suite de correctness. git-svn-id: svn://scm.gforge.inria.fr/svn/coq/trunk@10870 85f007b7-540e-0410-9357-904b9bb8a0f7

1 parent 8375db1 commit 77e2fcaCopy full SHA for 77e2fca

36 files changed

+0

-6498

lines changed

36 files changed

+0

-6498

lines changed

`‎contrib/correctness/past.mli`

-97

This file was deleted.

`‎contrib/correctness/pcic.ml`

-231

This file was deleted.

`‎contrib/correctness/pcic.mli`

-24

This file was deleted.

Comments

(0)