Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | isabelle-2012-graphbrowser.patch | 354 | logplain |
-rw-r--r-- | isabelle-2012-libsha1.patch | 508 | logplain |
-rw-r--r-- | isabelle-2012-reverse-line-editor-order.patch | 423 | logplain |
-rw-r--r-- | isabelle-2013-gentoo-settings.patch | 600 | logplain |
-rw-r--r-- | isabelle-2013.2-HOL-Predicate_Compile_Examples.patch | 3365 | logplain |
-rw-r--r-- | isabelle-2015-classpath.patch | 1093 | logplain |
-rw-r--r-- | isabelle-2015-jfreechart-classpath.patch | 930 | logplain |