From 7ef33f33a8f46487e6db0f198c8bd6c19ac1b22a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr> Date: Mon, 30 Apr 2007 16:59:26 +0000 Subject: [PATCH] - added PRETTY label --- html/labels.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/html/labels.html b/html/labels.html index 23d637d0..5e4480f3 100644 --- a/html/labels.html +++ b/html/labels.html @@ -63,6 +63,8 @@ <dd>URI of the first ontology (temporary store)</dd> <dt>http://exmo.inrialpes.fr/align/service:ouri2</dt> <dd>URI of the second ontology (temporary store)</dd> +<dt>http://exmo.inrialpes.fr/align/service:pretty</dt> +<dd>Name to be displayed instead of the URI of the alignment</dd> </dl> <h2>Argumentation extensions</h2> -- GitLab