projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a99db85) | patch
sci-mathematics/isabelle: Remove old
authorJames Le Cuirot <chewi@gentoo.org>
Sun, 6 Mar 2016 12:52:23 +0000 (12:52 +0000)
committerJames Le Cuirot <chewi@gentoo.org>
Sun, 6 Mar 2016 13:01:33 +0000 (13:01 +0000)
commit1db4669fbb720d89e5420eb5a5b1c7b0ca508aa6
tree625b3d25306b1f8c101675ebead866c717730dfftree | snapshot
parenta99db855fb81100251d0bbf6b9dfade3be3d46abcommit | diff
sci-mathematics/isabelle: Remove old

Package-Manager: portage-2.2.27
18 files changed:
sci-mathematics/isabelle/Manifest diff | blob | history
sci-mathematics/isabelle/files/isabelle-2011.1-gentoo-settings.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2011.1-libsha1.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2011.1-reverse-line-editor-order.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2012-gentoo-settings.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2012-redundant-equations-in-function-definitions-error.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2012-signal-handling.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2013-HOL-Predicate_Compile_Examples.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2013-classpath.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2013.2-classpath.patch [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2011.1.ebuild [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2012-r1.ebuild [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2013-r2.ebuild [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild [deleted file] blob | history
sci-mathematics/isabelle/metadata.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.