| Tue, 10 Feb 2015 14:48:26 +0100 | wenzelm | proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; | file | diff | annotate |
| 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 |