| changeset 31582 | 4753c317d5c1 |
| parent 28539 | bdb308737bfd |
| 31581:907616b9536c | 31582:4753c317d5c1 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
|
3 # $Id$ |
|
4 # |
2 # |
5 # Create AnnoMaLy documentation for Isabelle |
3 # Create AnnoMaLy documentation for Isabelle |
6 # |
4 # |
7 # Based on http://martin.von-gagern.net/projects/annomaly/ |
5 # Based on http://martin.von-gagern.net/projects/annomaly/ |
8 # 2007 Martin von Gagern (martin@von-gagern.net) |
6 # 2007 Martin von Gagern (martin@von-gagern.net) |