wenzelm [Tue, 30 Jan 2018 23:01:38 +0100] rev 67547
clarified breakgain: keeping it constant avoids margin fluctuation in Pretty_Tooltip vs. Pretty_Text_Area;
wenzelm [Tue, 30 Jan 2018 22:46:00 +0100] rev 67546
clarified lines: like split_lines;
wenzelm [Tue, 30 Jan 2018 20:36:18 +0100] rev 67545
tuned;
wenzelm [Tue, 30 Jan 2018 20:21:55 +0100] rev 67544
unused;
wenzelm [Tue, 30 Jan 2018 20:20:46 +0100] rev 67543
tuned;
wenzelm [Tue, 30 Jan 2018 20:12:41 +0100] rev 67542
simplified: prod_count is always NONE;
wenzelm [Tue, 30 Jan 2018 19:59:15 +0100] rev 67541
tuned;
wenzelm [Tue, 30 Jan 2018 19:45:08 +0100] rev 67540
tuned data structure and operations;
wenzelm [Tue, 30 Jan 2018 18:38:18 +0100] rev 67539
tuned data structure and operations;
wenzelm [Tue, 30 Jan 2018 16:12:50 +0100] rev 67538
tuned data structure and operations;
wenzelm [Tue, 30 Jan 2018 16:05:33 +0100] rev 67537
more operations;
wenzelm [Tue, 30 Jan 2018 15:40:01 +0100] rev 67536
prefer specific tokens_subtract: subtle change of comparison via tokens_match;
wenzelm [Tue, 30 Jan 2018 15:15:51 +0100] rev 67535
tuned type: absorb NONE: token option as token_none: token;
wenzelm [Tue, 30 Jan 2018 14:31:33 +0100] rev 67534
tuned;
wenzelm [Tue, 30 Jan 2018 14:27:14 +0100] rev 67533
clarified types and operations: potentially more efficient add_prods;
tuned data structure;
wenzelm [Tue, 30 Jan 2018 11:48:38 +0100] rev 67532
clarified modules;
tuned;
wenzelm [Tue, 30 Jan 2018 11:20:52 +0100] rev 67531
tuned: more explicit types;
wenzelm [Mon, 29 Jan 2018 22:27:57 +0100] rev 67530
tuned data structure: potentially more efficient add_prods;
wenzelm [Mon, 29 Jan 2018 22:25:07 +0100] rev 67529
clarified operations;
wenzelm [Mon, 29 Jan 2018 21:14:42 +0100] rev 67528
merged
wenzelm [Mon, 29 Jan 2018 20:37:28 +0100] rev 67527
expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;
haftmann [Mon, 29 Jan 2018 19:38:17 +0000] rev 67526
irrelevant reference to doubtful theory Code_Char
haftmann [Sun, 28 Jan 2018 16:38:48 +0000] rev 67525
avoid concrete (anti)mono in theorem names since it could be the other way round
wenzelm [Mon, 29 Jan 2018 19:26:14 +0100] rev 67524
more uniform documentation;
wenzelm [Mon, 29 Jan 2018 11:18:26 +0100] rev 67523
proper fall-back rendering of control symbol;
wenzelm [Sun, 28 Jan 2018 19:28:52 +0100] rev 67522
clarified take/drop/chop prefix/suffix;
wenzelm [Sun, 28 Jan 2018 16:09:00 +0100] rev 67521
clarified signature;
wenzelm [Sun, 28 Jan 2018 12:57:35 +0100] rev 67520
proper signature (amending c4e9e0c50487);
wenzelm [Sat, 27 Jan 2018 20:35:34 +0100] rev 67519
tuned output;
wenzelm [Sat, 27 Jan 2018 20:26:42 +0100] rev 67518
tuned;
wenzelm [Sat, 27 Jan 2018 19:57:37 +0100] rev 67517
explicit graph for chains, which contains all nts as nodes;
wenzelm [Sat, 27 Jan 2018 17:27:06 +0100] rev 67516
tuned;
wenzelm [Sat, 27 Jan 2018 17:23:21 +0100] rev 67515
tuned;
wenzelm [Sat, 27 Jan 2018 16:56:03 +0100] rev 67514
prefer lazy update;
wenzelm [Sat, 27 Jan 2018 16:45:27 +0100] rev 67513
tuned output;
wenzelm [Sat, 27 Jan 2018 16:37:41 +0100] rev 67512
more operations;
bulwahn [Sat, 27 Jan 2018 10:27:57 +0100] rev 67511
include lemmas generally useful for combinatorial proofs
wenzelm [Fri, 26 Jan 2018 21:16:03 +0100] rev 67510
redundant;
wenzelm [Thu, 25 Jan 2018 16:50:27 +0100] rev 67509
allow cartouche within ML string;
wenzelm [Thu, 25 Jan 2018 16:30:20 +0100] rev 67508
verbatim output consists of plain lines;
wenzelm [Thu, 25 Jan 2018 16:01:02 +0100] rev 67507
old-style inner comments are legacy;
wenzelm [Thu, 25 Jan 2018 15:21:05 +0100] rev 67506
more markup: disable spell-checker for raw latex;
wenzelm [Thu, 25 Jan 2018 14:13:55 +0100] rev 67505
clarified signature: items with \isasep are special;
wenzelm [Thu, 25 Jan 2018 11:29:52 +0100] rev 67504
clarified signature;
wenzelm [Thu, 25 Jan 2018 11:20:31 +0100] rev 67503
tuned message;
wenzelm [Wed, 24 Jan 2018 20:47:36 +0100] rev 67502
clarified operations;
wenzelm [Wed, 24 Jan 2018 20:08:33 +0100] rev 67501
tuned signature: removed unused operations;
wenzelm [Wed, 24 Jan 2018 19:50:00 +0100] rev 67500
tuned: prefer list operations over Source.source;
approximative parsing of theory header;
wenzelm [Wed, 24 Jan 2018 18:54:53 +0100] rev 67499
tuned: prefer list operations over Source.source;
wenzelm [Wed, 24 Jan 2018 18:54:05 +0100] rev 67498
tuned: prefer list operations over Source.source;
wenzelm [Wed, 24 Jan 2018 16:34:24 +0100] rev 67497
clarified signature;
wenzelm [Wed, 24 Jan 2018 11:56:54 +0100] rev 67496
clarified position;
wenzelm [Wed, 24 Jan 2018 11:56:38 +0100] rev 67495
clarified operations;
wenzelm [Tue, 23 Jan 2018 20:43:18 +0100] rev 67494
merged
wenzelm [Tue, 23 Jan 2018 19:25:39 +0100] rev 67493
treat sessions as entities with defining position;
tuned signature;
wenzelm [Tue, 23 Jan 2018 17:58:09 +0100] rev 67492
options file for x86_64 only (amending 03a96b8c7c06);
wenzelm [Tue, 23 Jan 2018 17:04:52 +0100] rev 67491
updated to jdk-8u162;
wenzelm [Tue, 23 Jan 2018 16:37:57 +0100] rev 67490
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
Lars Hupel <lars.hupel@mytum.de> [Tue, 23 Jan 2018 12:28:46 +0100] rev 67489
drop redundant cong rules
Lars Hupel <lars.hupel@mytum.de> [Mon, 22 Jan 2018 22:45:45 +0100] rev 67488
merged