diff options
Diffstat (limited to 'sci-mathematics/isabelle/metadata.xml')
-rw-r--r-- | sci-mathematics/isabelle/metadata.xml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml deleted file mode 100644 index d59b385fb4ad..000000000000 --- a/sci-mathematics/isabelle/metadata.xml +++ /dev/null @@ -1,29 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<maintainer type="person"> - <email>gienah@gentoo.org</email> -</maintainer> -<maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> -</maintainer> -<longdescription lang="en"> -Isabelle is a generic proof assistant. It allows mathematical -formulas to be expressed in a formal language and provides tools -for proving those formulas in a logical calculus. The main -application is the formalization of mathematical proofs and in -particular formal verification, which includes proving the -correctness of computer hardware or software and proving -properties of computer languages and protocols. -</longdescription> -<use> - <flag name="graphbrowsing">Generate theory browsing information, - including HTML documents that show a theory's definition, the - theorems proved in its ML file and the relationship with its - ancestors and descendants.</flag> - <flag name="ledit">Use ledit for the isabelle tty line editor</flag> - <flag name="readline">Use readline (rlwrap) for the isabelle tty line - editor</flag> -</use> -</pkgmetadata> |