Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
#!/usr/bin/env bash;
authorwenzelm
Mon, 02 Jul 2001 21:02:16 +0200
changeset 11391 e8638d07fdee
parent 11390 735bf767833a
child 11392 3078f52ee552
#!/usr/bin/env bash;
src/Pure/mk file | annotate | diff | comparison | revisions 
--- a/src/Pure/mk	Mon Jul 02 20:55:43 2001 +0200
+++ b/src/Pure/mk	Mon Jul 02 21:02:16 2001 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # $Id$
 # Author: Markus Wenzel, TU Muenchen
isabelle