#
75401683 |
|
03-Dec-2018 |
wenzelm <none@none> |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access"; more uses of "using";
|
#
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
#
3c58cd3c |
|
24-Mar-2016 |
wenzelm <none@none> |
proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
|
#
771aa1cb |
|
24-Mar-2016 |
wenzelm <none@none> |
tuned signature;
|
#
c30393f8 |
|
24-Jul-2014 |
wenzelm <none@none> |
less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems;
|
#
66252232 |
|
27-Feb-2014 |
wenzelm <none@none> |
prefer abstract datatype -- in accordance to ML version;
|
#
9fed4e18 |
|
14-Nov-2013 |
wenzelm <none@none> |
tuned signature;
|
#
44145955 |
|
25-Nov-2012 |
wenzelm <none@none> |
explicit module UTF8;
|
#
19412759 |
|
04-Oct-2012 |
wenzelm <none@none> |
tuned signature;
|
#
2df9c070 |
|
21-Jul-2012 |
wenzelm <none@none> |
maintain set of source digests, including relevant parts of session entry;
|
#
5fa78641 |
|
20-Jul-2012 |
wenzelm <none@none> |
more explicit java.io.{File => JFile};
|
#
0c0ebecd |
|
18-Jul-2012 |
wenzelm <none@none> |
more SHA1.digest operations;
|
#
2ec142c0 |
|
29-Nov-2011 |
wenzelm <none@none> |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
#
2a73801f |
|
28-Nov-2011 |
wenzelm <none@none> |
explicit indication of modules for independent Scala library;
|
#
16933a60 |
|
08-Jul-2011 |
wenzelm <none@none> |
tuned signature;
|
#
a0f2fe6f |
|
13-Mar-2011 |
wenzelm <none@none> |
explicit type SHA1.digest;
|
#
16583c9d |
|
17-Aug-2010 |
wenzelm <none@none> |
digesting strings according to SHA-1 -- Scala version;
|