| Tue, 09 Apr 2013 13:24:00 +0200 | wenzelm | more robust static structure reference, avoid dynamic Proof_Context.intern_skolem in Syntax_Phases.decode_term; | changeset | files |
| Tue, 09 Apr 2013 13:20:09 +0200 | wenzelm | tuned comment; | changeset | files |
| Tue, 09 Apr 2013 12:56:26 +0200 | wenzelm | just one syntax category "mixfix" -- check structure annotation semantically; | changeset | files |
| Tue, 09 Apr 2013 12:29:36 +0200 | wenzelm | tuned message; | changeset | files |
| Tue, 09 Apr 2013 16:32:04 +0200 | blanchet | handle case clashes on Mac file system by encoding goal numbers | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | avoid duplicate "tcon_" names | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | smoothly handle cyclic graphs | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | compile + fixed naming convention | changeset | files |