| Thu, 30 Oct 2014 16:20:46 +0100 | wenzelm | eliminated aliases; | file | diff | annotate |
| Sun, 06 Apr 2014 16:36:28 +0200 | wenzelm | more source positions; | file | diff | annotate |
| Sun, 06 Apr 2014 15:43:45 +0200 | wenzelm | more source positions; | file | diff | annotate |
| Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | file | diff | annotate |
| Wed, 26 Mar 2014 14:41:52 +0100 | wenzelm | prefer Context_Position where a context is available; | file | diff | annotate |
| Wed, 27 Mar 2013 14:50:30 +0100 | wenzelm | clarified Skip_Proof.cheat_tac: more standard tactic; | file | diff | annotate |
| Wed, 27 Mar 2013 14:19:18 +0100 | wenzelm | tuned signature and module arrangement; | file | diff | annotate | base |