/sci-mathematics/isabelle/files/

• ../
• isabelle-2011.1-gentoo-settings.patch
• isabelle-2011.1-graphbrowser.patch
• isabelle-2011.1-libsha1.patch
• isabelle-2011.1-proofgeneral-gentoo-path.patch
• isabelle-2011.1-reverse-line-editor-order.patch
• isabelle-2012-gentoo-settings.patch
• isabelle-2012-graphbrowser.patch
• isabelle-2012-libsha1.patch
• isabelle-2012-redundant-equations-in-function-definitions-error.patch
• isabelle-2012-reverse-line-editor-order.patch
• isabelle-2012-signal-handling.patch
• isabelle-2013-HOL-Predicate_Compile_Examples.patch
• isabelle-2013-classpath.patch
• isabelle-2013-gentoo-settings.patch
• isabelle-2013.2-HOL-Predicate_Compile_Examples.patch
• isabelle-2013.2-classpath.patch