| Sun, 26 May 2013 19:27:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 26 May 2013 19:11:52 +0200 | wenzelm | more conventional pretty printing; | changeset | files |
| Sun, 26 May 2013 18:37:43 +0200 | wenzelm | tuned white-space; | changeset | files |
| Sun, 26 May 2013 19:45:54 +0200 | haftmann | more specific structure for registration into theory and dependency onto locale | changeset | files |
| Sun, 26 May 2013 19:45:54 +0200 | haftmann | examples for interpretation into target | changeset | files |
| Sun, 26 May 2013 14:02:03 +0200 | blanchet | disable SPASS's splitting if Isar proofs are desired, because these are not handled by the proof reconstruction code (and it's not clear how to handle them considering the lack of documentation) | changeset | files |
| Sun, 26 May 2013 12:56:37 +0200 | blanchet | handle lambda-lifted problems in Isar construction code | changeset | files |