Permalink
Browse files

Short documentation string in check_theorems_doc.sh

  • Loading branch information...
jcaesar committed Aug 21, 2016
1 parent ab67b22 commit d17c04f404e1c968bce58b81b381b7a66f022ab5
Showing with 2 additions and 0 deletions.
  1. +2 −0 check_theorems_doc.sh
@@ -1,4 +1,6 @@
#!/bin/bash
# checks whether a reference to a theorem in a Haskell file (with "-- Theorem: ") is mentioned in the Isabelle-checked documentation
# (provides no protection against just putting that theorem name into a comment or similar.)
THEOREMS_IN_HS=$(find ./haskell_tool -name '*.hs' | xargs grep -i '\-\-[[:space:]]*Theorem:[[:space:]]' | awk -F ': *' '{ print $3 }')

0 comments on commit d17c04f

Please sign in to comment.