| Thu, 09 May 2019 15:56:14 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 09 May 2019 15:47:27 +0200 |
wenzelm |
proper formatting (amending 5076725247fa);
|
changeset |
files
|
| Thu, 09 May 2019 15:24:40 +0200 |
wenzelm |
more on "Physical and logical files";
|
changeset |
files
|
| Thu, 09 May 2019 14:50:56 +0200 |
wenzelm |
proper session chapter;
|
changeset |
files
|
| Thu, 09 May 2019 14:22:25 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Thu, 09 May 2019 11:35:57 +0200 |
wenzelm |
more uniform scaling;
|
changeset |
files
|
| Thu, 09 May 2019 12:32:47 +0200 |
nipkow |
New version of tries
|
changeset |
files
|
| Wed, 08 May 2019 21:28:34 +0200 |
wenzelm |
clarified InstallPath: relative to self-extracting exe;
|
changeset |
files
|
| Wed, 08 May 2019 20:10:13 +0200 |
wenzelm |
prefer HTTPS;
|
changeset |
files
|
| Wed, 08 May 2019 18:53:27 +0200 |
wenzelm |
eliminated old com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen: appears to be unnecessary on newer versions of Mac OS X;
|
changeset |
files
|
| Wed, 08 May 2019 16:54:50 +0200 |
wenzelm |
back to gz for linux (and macos) -- xz is too slow and cumbersome;
|
changeset |
files
|
| Fri, 03 May 2019 20:35:19 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 03 May 2019 20:03:45 +0200 |
wenzelm |
back to gz for macos: more robust;
|
changeset |
files
|
| Fri, 03 May 2019 19:27:41 +0200 |
wenzelm |
proper arguments for library build;
|
changeset |
files
|
| Fri, 03 May 2019 19:25:25 +0200 |
wenzelm |
tuned;
|
changeset |
files
|