projects / model-checker.git / commit
| author | Brian Norris <banorris@uci.edu> | |
| Thu, 27 Sep 2012 17:15:28 +0000 (10:15 -0700) | ||
| committer | Brian Norris <banorris@uci.edu> | |
| Thu, 27 Sep 2012 17:15:28 +0000 (10:15 -0700) | ||
| commit | d16112e0af1dbc6c74347d6979c4003f55e955e5 | |
| tree | 63b9179aa81c9beec3bdb94bad6994321234eebf | tree | snapshot |
| parent | 4f83ef5c527cb7dccab5dcce7e7e9dd00090612d | commit | diff |
| doc/notes/release-sequence.txt | [new file with mode: 0644] | blob |