| 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 |