| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | isabelle-2011.1-gentoo-settings.patch | 1265 | logplain |
| -rw-r--r-- | isabelle-2011.1-graphbrowser.patch | 358 | logplain |
| -rw-r--r-- | isabelle-2011.1-libsha1.patch | 512 | logplain |
| -rw-r--r-- | isabelle-2011.1-proofgeneral-gentoo-path.patch | 1265 | logplain |
| -rw-r--r-- | isabelle-2011.1-reverse-line-editor-order.patch | 427 | logplain |
| -rw-r--r-- | isabelle-2012-gentoo-settings.patch | 2107 | logplain |
| -rw-r--r-- | isabelle-2012-graphbrowser.patch | 354 | logplain |
| -rw-r--r-- | isabelle-2012-libsha1.patch | 508 | logplain |
| -rw-r--r-- | isabelle-2012-redundant-equations-in-function-definitions-error.patch | 1319 | logplain |
| -rw-r--r-- | isabelle-2012-reverse-line-editor-order.patch | 423 | logplain |
| -rw-r--r-- | isabelle-2012-signal-handling.patch | 457 | logplain |
| -rw-r--r-- | isabelle-2013-HOL-Predicate_Compile_Examples.patch | 3388 | logplain |
| -rw-r--r-- | isabelle-2013-classpath.patch | 5309 | logplain |
| -rw-r--r-- | isabelle-2013-gentoo-settings.patch | 600 | logplain |
GitWeb