2016-12-21 wenzelm 2016-12-21 proper pattern match;
2016-12-21 wenzelm 2016-12-21 more explicit error;
2016-12-21 wenzelm 2016-12-21 more explicit error;
2016-12-21 wenzelm 2016-12-21 display messages, according to regular Isabelle Output;
2016-12-21 wenzelm 2016-12-21 tuned;
2016-12-21 wenzelm 2016-12-21 clarified node_name: preserve original uri;
2016-12-21 wenzelm 2016-12-21 clarified directories;
2016-12-23 blanchet 2016-12-23 generalized generation of coinduction goal (towards nonuniform codatatypes)
2016-12-22 blanchet 2016-12-22 export ML functions (towards nonuniform codatatypes) + signature tuning
2016-12-22 blanchet 2016-12-22 export ML function
2016-12-22 haftmann 2016-12-22 more uniform div/mod relations
2016-12-22 haftmann 2016-12-22 proper logical constants
2016-12-21 haftmann 2016-12-21 prefer existing logical constant over abbreviation
2016-12-21 haftmann 2016-12-21 dropped aliasses
2016-12-21 haftmann 2016-12-21 removed dangerous simp rule: prime computations can be excessively long
2016-12-20 haftmann 2016-12-20 emphasize dedicated rewrite rules for congruences
2016-12-21 blanchet 2016-12-21 moved and exported tactic
2016-12-21 blanchet 2016-12-21 export ML function (towards nonuniform datatypes)
2016-12-21 blanchet 2016-12-21 generalized ML function (towards nonuniform datatypes)
2016-12-21 blanchet 2016-12-21 generalized ML function (towards nonuniform datatypes)
2016-12-21 blanchet 2016-12-21 merge
2016-12-21 blanchet 2016-12-21 renamed confusing variable names
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-20 wenzelm 2016-12-20 merged
2016-12-20 wenzelm 2016-12-20 proper reset of column (amending 01e50039edc9);
2016-12-20 wenzelm 2016-12-20 added option -T: text length encoding;
2016-12-20 wenzelm 2016-12-20 more systematic text length wrt. encoding;
2016-12-20 wenzelm 2016-12-20 tuned;
2016-12-20 wenzelm 2016-12-20 more systematic text length;
2016-12-20 wenzelm 2016-12-20 unused;
2016-12-20 wenzelm 2016-12-20 proper counting of chars;
2016-12-20 wenzelm 2016-12-20 tuned;
2016-12-20 wenzelm 2016-12-20 clarified modules;
2016-12-20 wenzelm 2016-12-20 clarified modules;
2016-12-20 wenzelm 2016-12-20 tuned;
2016-12-20 blanchet 2016-12-20 merge
2016-12-20 blanchet 2016-12-20 generalized code (towards nonuniform datatypes)
2016-12-19 wenzelm 2016-12-19 clarified modules;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;
2016-12-18 wenzelm 2016-12-18 misc tuning and modernization;
2016-12-18 wenzelm 2016-12-18 tuned whitespace;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-12-18 wenzelm 2016-12-18 misc tuning and modernization;
2016-12-18 wenzelm 2016-12-18 more standard notation (like infix);
2016-12-18 wenzelm 2016-12-18 dummy fork to produce ML_statistics even in sequential mode (e.g. for heap size);
2016-12-18 wenzelm 2016-12-18 expose stderr, e.g. Multithreading.tracing;
2016-12-18 wenzelm 2016-12-18 test parallel proof terms in this small session (somewhat slow for bigger applications);
2016-12-18 wenzelm 2016-12-18 tuned messages -- more symbols;
2016-12-18 wenzelm 2016-12-18 tuned;
2016-12-18 wenzelm 2016-12-18 more permissive syntax; more PIDE markup;
2016-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
2016-12-17 haftmann 2016-12-17 more fine-grained type class hierarchy for div and mod
2016-12-17 haftmann 2016-12-17 restructured matter on polynomials and normalized fractions
2016-12-17 haftmann 2016-12-17 streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat
2016-12-17 haftmann 2016-12-17 tuned fact references
2016-12-17 haftmann 2016-12-17 clarified library contents
2016-12-17 haftmann 2016-12-17 standardized notation
2016-12-17 haftmann 2016-12-17 redundant