/sci-mathematics/isabelle/files/
../
isabelle-2012-graphbrowser.patch
isabelle-2012-libsha1.patch
isabelle-2012-reverse-line-editor-order.patch
isabelle-2013-gentoo-settings.patch
isabelle-2013.2-HOL-Predicate_Compile_Examples.patch
isabelle-2015-classpath.patch
isabelle-2015-jfreechart-classpath.patch