| Mon, 02 Nov 2015 09:43:20 +0100 | wenzelm | more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2); | file | diff | annotate |
| Wed, 15 Apr 2015 15:27:45 +0200 | wenzelm | tuned signature, clarified modules; | file | diff | annotate |
| Sun, 15 Mar 2015 20:35:47 +0100 | wenzelm | clarified span position; | file | diff | annotate |
| Sat, 14 Mar 2015 19:51:36 +0100 | wenzelm | clarified positions of theory imports; | file | diff | annotate |
| Sun, 25 Jan 2015 20:22:20 +0100 | wenzelm | support for session graph from Scala side; | file | diff | annotate |
| Thu, 11 Dec 2014 23:31:30 +0100 | wenzelm | added Par_List in Scala, in accordance to ML version; | file | diff | annotate |
| Fri, 02 May 2014 13:52:45 +0200 | wenzelm | more frugal access to theory text via Reader, reduced costs for I/O text decoding; | file | diff | annotate |