From: Brian Norris Date: Thu, 15 Aug 2013 19:04:59 +0000 (-0700) Subject: README.md: use HTML URL, not PHP X-Git-Tag: oopsla2015~10^2 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;hp=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;p=model-checker.git README.md: use HTML URL, not PHP ---