diff options
| author | Simon Barner <barner@FreeBSD.org> | 2005-09-01 10:03:58 +0000 |
|---|---|---|
| committer | Simon Barner <barner@FreeBSD.org> | 2005-09-01 10:03:58 +0000 |
| commit | 80bd7289eef080059cb7b8c2413d23708b2cb828 (patch) | |
| tree | ba2310c095a196bcf741cd9153cfdf0da3deed3a /math/isabelle/files/patch-lib-Tools-doc | |
| parent | Add p5-Syntax-Highlight-Shell, a perl module to highlight shell syntax (diff) | |
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com>
Diffstat (limited to 'math/isabelle/files/patch-lib-Tools-doc')
| -rw-r--r-- | math/isabelle/files/patch-lib-Tools-doc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/isabelle/files/patch-lib-Tools-doc b/math/isabelle/files/patch-lib-Tools-doc new file mode 100644 index 000000000000..490f01b47d05 --- /dev/null +++ b/math/isabelle/files/patch-lib-Tools-doc @@ -0,0 +1,10 @@ +--- lib/Tools/doc.orig Tue Jun 8 10:29:49 2004 ++++ lib/Tools/doc Sat Aug 13 10:47:40 2005 +@@ -32,6 +32,7 @@ + + [ "$#" -ne 0 -o "$DOC" = "-?" ] && usage + ++DOC=`expr "$DOC" : '^[ ]*\(.*\)'` + + ## main + |