| Tue, 12 Jan 2016 23:40:33 +0100 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Tue, 12 Jan 2016 20:05:53 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 12 Jan 2016 19:58:17 +0100 |
wenzelm |
updated old screenshots, added new screenshots;
|
changeset |
files
|
| Tue, 12 Jan 2016 15:43:26 +0100 |
wenzelm |
more explicit errors for control symbols that are left-over after Markdown parsing;
|
changeset |
files
|
| Tue, 12 Jan 2016 14:41:35 +0100 |
wenzelm |
removed in anticipation of c92d82c3f41b -- demolition after renovation;
|
changeset |
files
|
| Tue, 12 Jan 2016 11:49:35 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Tue, 12 Jan 2016 11:48:43 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Tue, 12 Jan 2016 00:18:43 +0100 |
wenzelm |
clarified axiomatization versus definitions;
|
changeset |
files
|
| Mon, 11 Jan 2016 22:34:20 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Mon, 11 Jan 2016 22:30:18 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Mon, 11 Jan 2016 22:23:03 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Mon, 11 Jan 2016 21:21:02 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Mon, 11 Jan 2016 21:20:44 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Mon, 11 Jan 2016 21:16:38 +0100 |
wenzelm |
eliminated old defs;
|
changeset |
files
|
| Tue, 12 Jan 2016 16:59:32 +0100 |
eberlm |
Deleted problematic code equation in Binomial temporarily.
|
changeset |
files
|