| Tue, 11 Jun 2013 21:24:12 -0700 | kleing | some comments on syntax and automation setup | changeset | files |
| Tue, 11 Jun 2013 19:58:09 -0400 | smolkas | uncheck terms before annotation to avoid awkward syntax | changeset | files |
| Tue, 11 Jun 2013 19:11:31 -0400 | blanchet | tuning | changeset | files |
| Tue, 11 Jun 2013 18:50:09 -0400 | blanchet | tuning | changeset | files |
| Tue, 11 Jun 2013 16:13:19 -0400 | smolkas | make use of show_type_emphasis instead of using hack; make sure global configurations don't affect proof script creation | changeset | files |
| Tue, 11 Jun 2013 21:07:53 +0200 | haftmann | reflexive nbe equation for equality on String.literal | changeset | files |
| Mon, 10 Jun 2013 20:43:17 +0200 | haftmann | tuned whitespace | changeset | files |
| Mon, 10 Jun 2013 20:30:23 +0200 | haftmann | dropped relics of ancient binary numeral case study | changeset | files |