/sci-mathematics/isabelle/files/

• ../
• isabelle-2011.1-gentoo-settings.patch
• isabelle-2011.1-graphbrowser.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-redundant-equations-in-function-definitions-error.patch
• isabelle-2012-reverse-line-editor-order.patch
• isabelle-2012-signal-handling.patch