| Mon, 07 Mar 2016 09:49:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 14:58:15 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 20:39:38 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 18:10:37 +0200 |
wenzelm |
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 13:16:16 +0100 |
wenzelm |
non-critical atomic accesses;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 16:03:44 +0200 |
wenzelm |
Thread.getLocal/setLocal;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2008 00:15:41 +0100 |
wenzelm |
setmp_thread_data;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2007 21:12:01 +0100 |
wenzelm |
separated into global template vs. thread-local value;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2007 18:54:31 +0200 |
wenzelm |
added input/internal, which are never active in print_mode_value;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 18:05:37 +0200 |
wenzelm |
simplified PrintMode interfaces;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 16:36:43 +0200 |
wenzelm |
added print_mode_value (CRITICAL);
|
file |
diff |
annotate
|
| Sun, 16 Sep 2007 15:27:26 +0200 |
wenzelm |
with_modes: always CRITICAL;
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 20:44:02 +0200 |
wenzelm |
with_modes []: non-critical;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 17:28:55 +0200 |
wenzelm |
NAMED_CRITICAL;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 16:45:02 +0200 |
wenzelm |
added with_modes, with_default;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 13:19:39 +0200 |
wenzelm |
Generic print mode.
|
file |
diff |
annotate
|