Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Uninstalling coq DMG

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Uninstalling coq DMG

chronological Thread

From: Edsko de Vries <devriese AT cs.tcd.ie>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Uninstalling coq DMG
Date: Tue, 30 Sep 2008 20:44:49 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Can it be done? For coqide I can simply drag it from the Applications
folder to the trash, but what about the coq DMG itself?

Edsko

[Coq-Club] Uninstalling coq DMG, Edsko de Vries

Archive powered by MhonArc 2.6.16.