Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 08 Oct 2016 22:36:22 +0200 build_history log files with formal meta info;
changeset
wenzelm [Sat, 08 Oct 2016 22:36:22 +0200] rev 64117
build_history log files with formal meta info;
Sat, 08 Oct 2016 22:08:31 +0200 prefer explicit timezone offset for printing;
changeset
wenzelm [Sat, 08 Oct 2016 22:08:31 +0200] rev 64116
prefer explicit timezone offset for printing;
Sat, 08 Oct 2016 21:31:56 +0200 tuned;
changeset
wenzelm [Sat, 08 Oct 2016 21:31:56 +0200] rev 64115
tuned;
Sat, 08 Oct 2016 14:09:55 +0200 tuned name of bit truncating operations
changeset
haftmann [Sat, 08 Oct 2016 14:09:55 +0200] rev 64114
tuned name of bit truncating operations
Sat, 08 Oct 2016 14:09:53 +0200 dedicated syntax for types with a length
changeset
haftmann [Sat, 08 Oct 2016 14:09:53 +0200] rev 64113
dedicated syntax for types with a length
Sat, 08 Oct 2016 17:30:19 +0200 merged
changeset
wenzelm [Sat, 08 Oct 2016 17:30:19 +0200] rev 64112
merged
Sat, 08 Oct 2016 17:29:42 +0200 prefer local timezone;
changeset
wenzelm [Sat, 08 Oct 2016 17:29:42 +0200] rev 64111
prefer local timezone;
Sat, 08 Oct 2016 17:22:52 +0200 support for Isabelle/Jenkins log file format;
changeset
wenzelm [Sat, 08 Oct 2016 17:22:52 +0200] rev 64110
support for Isabelle/Jenkins log file format;
Sat, 08 Oct 2016 16:07:41 +0200 tuned;
changeset
wenzelm [Sat, 08 Oct 2016 16:07:41 +0200] rev 64109
tuned;
Sat, 08 Oct 2016 16:02:06 +0200 clarified meta info;
changeset
wenzelm [Sat, 08 Oct 2016 16:02:06 +0200] rev 64108
clarified meta info;
Sat, 08 Oct 2016 15:46:06 +0200 tuned comment;
changeset
wenzelm [Sat, 08 Oct 2016 15:46:06 +0200] rev 64107
tuned comment;
Sat, 08 Oct 2016 15:45:47 +0200 tuned signature;
changeset
wenzelm [Sat, 08 Oct 2016 15:45:47 +0200] rev 64106
tuned signature;
Sat, 08 Oct 2016 15:39:42 +0200 tuned signature;
changeset
wenzelm [Sat, 08 Oct 2016 15:39:42 +0200] rev 64105
tuned signature;
Sat, 08 Oct 2016 14:55:34 +0200 more permissive: accept all historic isatest and afp-test logs;
changeset
wenzelm [Sat, 08 Oct 2016 14:55:34 +0200] rev 64104
more permissive: accept all historic isatest and afp-test logs;
Sat, 08 Oct 2016 13:05:05 +0200 accept spurious empty logs;
changeset
wenzelm [Sat, 08 Oct 2016 13:05:05 +0200] rev 64103
accept spurious empty logs;
Sat, 08 Oct 2016 12:34:07 +0200 prefer static Date_Format;
changeset
wenzelm [Sat, 08 Oct 2016 12:34:07 +0200] rev 64102
prefer static Date_Format;
Sat, 08 Oct 2016 12:20:20 +0200 more formal directory content;
changeset
wenzelm [Sat, 08 Oct 2016 12:20:20 +0200] rev 64101
more formal directory content; clarified date format;
Sat, 08 Oct 2016 11:21:29 +0200 tuned error;
changeset
wenzelm [Sat, 08 Oct 2016 11:21:29 +0200] rev 64100
tuned error;
Sat, 08 Oct 2016 11:04:47 +0200 tuned;
changeset
wenzelm [Sat, 08 Oct 2016 11:04:47 +0200] rev 64099
tuned;
Sat, 08 Oct 2016 10:59:38 +0200 misc tuning and clarification;
changeset
wenzelm [Sat, 08 Oct 2016 10:59:38 +0200] rev 64098
misc tuning and clarification;
Sat, 08 Oct 2016 13:50:25 +0200 clarifying NEWS file
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Sat, 08 Oct 2016 13:50:25 +0200] rev 64097
clarifying NEWS file
Fri, 07 Oct 2016 23:11:20 +0200 more flexible date formats;
changeset
wenzelm [Fri, 07 Oct 2016 23:11:20 +0200] rev 64096
more flexible date formats;
Fri, 07 Oct 2016 22:58:24 +0200 support for isatest format;
changeset
wenzelm [Fri, 07 Oct 2016 22:58:24 +0200] rev 64095
support for isatest format;
Fri, 07 Oct 2016 21:46:42 +0200 tuned;
changeset
wenzelm [Fri, 07 Oct 2016 21:46:42 +0200] rev 64094
tuned;
Fri, 07 Oct 2016 21:19:15 +0200 merged
changeset
wenzelm [Fri, 07 Oct 2016 21:19:15 +0200] rev 64093
merged
Fri, 07 Oct 2016 21:16:48 +0200 accept obscure timezone used in 2011;
changeset
wenzelm [Fri, 07 Oct 2016 21:16:48 +0200] rev 64092
accept obscure timezone used in 2011;
Fri, 07 Oct 2016 21:09:43 +0200 more liberal parsing for old AFP logs;
changeset
wenzelm [Fri, 07 Oct 2016 21:09:43 +0200] rev 64091
more liberal parsing for old AFP logs;
Fri, 07 Oct 2016 18:41:54 +0200 more operations;
changeset
wenzelm [Fri, 07 Oct 2016 18:41:54 +0200] rev 64090
more operations;
Fri, 07 Oct 2016 18:30:56 +0200 more permissive timing data;
changeset
wenzelm [Fri, 07 Oct 2016 18:30:56 +0200] rev 64089
more permissive timing data;
Fri, 07 Oct 2016 18:07:10 +0200 more permissive for old logs;
changeset
wenzelm [Fri, 07 Oct 2016 18:07:10 +0200] rev 64088
more permissive for old logs;
Fri, 07 Oct 2016 17:46:36 +0200 more uniform regexps;
changeset
wenzelm [Fri, 07 Oct 2016 17:46:36 +0200] rev 64087
more uniform regexps;
Fri, 07 Oct 2016 17:41:19 +0200 clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
changeset
wenzelm [Fri, 07 Oct 2016 17:41:19 +0200] rev 64086
clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
Fri, 07 Oct 2016 17:12:47 +0200 clarified parse_build_info: isabelle build output;
changeset
wenzelm [Fri, 07 Oct 2016 17:12:47 +0200] rev 64085
clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
Fri, 07 Oct 2016 16:50:47 +0200 more operations;
changeset
wenzelm [Fri, 07 Oct 2016 16:50:47 +0200] rev 64084
more operations;
Fri, 07 Oct 2016 14:17:20 +0200 more operations;
changeset
wenzelm [Fri, 07 Oct 2016 14:17:20 +0200] rev 64083
more operations;
Fri, 07 Oct 2016 13:58:10 +0200 clarified signature;
changeset
wenzelm [Fri, 07 Oct 2016 13:58:10 +0200] rev 64082
clarified signature;
Fri, 07 Oct 2016 11:45:30 +0200 more uniform treatment of settings;
changeset
wenzelm [Fri, 07 Oct 2016 11:45:30 +0200] rev 64081
more uniform treatment of settings;
Fri, 07 Oct 2016 11:24:58 +0200 clarified modules;
changeset
wenzelm [Fri, 07 Oct 2016 11:24:58 +0200] rev 64080
clarified modules; CI_Profile: show all settings;
Fri, 07 Oct 2016 11:10:17 +0200 tuned;
changeset
wenzelm [Fri, 07 Oct 2016 11:10:17 +0200] rev 64079
tuned;
Fri, 07 Oct 2016 10:46:34 +0200 more official legacy status;
changeset
wenzelm [Fri, 07 Oct 2016 10:46:34 +0200] rev 64078
more official legacy status;
Fri, 07 Oct 2016 17:59:19 +0200 more lemmas
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:59:19 +0200] rev 64077
more lemmas
Fri, 07 Oct 2016 17:58:36 +0200 tuning multisets
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:58:36 +0200] rev 64076
tuning multisets
Fri, 07 Oct 2016 17:57:17 +0200 more lemmas
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:57:17 +0200] rev 64075
more lemmas
Fri, 07 Oct 2016 10:45:21 +0200 Set_Permutations -> Multiset_Permutations in NEWS
changeset
eberlm <eberlm@in.tum.de> [Fri, 07 Oct 2016 10:45:21 +0200] rev 64074
Set_Permutations -> Multiset_Permutations in NEWS
Fri, 07 Oct 2016 10:31:34 +0200 moved to proper release (cf. 4a72b37ac4b8);
changeset
wenzelm [Fri, 07 Oct 2016 10:31:34 +0200] rev 64073
moved to proper release (cf. 4a72b37ac4b8); tuned;
Fri, 07 Oct 2016 10:23:50 +0200 updated for release;
changeset
wenzelm [Fri, 07 Oct 2016 10:23:50 +0200] rev 64072
updated for release;
Fri, 07 Oct 2016 09:29:11 +0200 merged
changeset
wenzelm [Fri, 07 Oct 2016 09:29:11 +0200] rev 64071
merged
Thu, 06 Oct 2016 17:40:59 +0200 Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
changeset
wenzelm [Thu, 06 Oct 2016 17:40:59 +0200] rev 64070
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
Thu, 06 Oct 2016 17:17:34 +0200 merged
changeset
traytel [Thu, 06 Oct 2016 17:17:34 +0200] rev 64069
merged
Thu, 06 Oct 2016 13:34:00 +0200 merged
changeset
traytel [Thu, 06 Oct 2016 13:34:00 +0200] rev 64068
merged
Thu, 06 Oct 2016 13:33:26 +0200 less aggressive unfolding in tactic
changeset
traytel [Thu, 06 Oct 2016 13:33:26 +0200] rev 64067
less aggressive unfolding in tactic
Thu, 06 Oct 2016 14:13:46 +0200 merged
changeset
nipkow [Thu, 06 Oct 2016 14:13:46 +0200] rev 64066
merged
Thu, 06 Oct 2016 11:38:05 +0200 moved lemmas
changeset
nipkow [Thu, 06 Oct 2016 11:38:05 +0200] rev 64065
moved lemmas
Thu, 06 Oct 2016 11:27:28 +0200 merged
changeset
wenzelm [Thu, 06 Oct 2016 11:27:28 +0200] rev 64064
merged
Thu, 06 Oct 2016 11:27:03 +0200 tuned signature;
changeset
wenzelm [Thu, 06 Oct 2016 11:27:03 +0200] rev 64063
tuned signature;
Thu, 06 Oct 2016 11:13:12 +0200 misc tuning and clarification;
changeset
wenzelm [Thu, 06 Oct 2016 11:13:12 +0200] rev 64062
misc tuning and clarification;
Wed, 05 Oct 2016 22:09:53 +0200 some support for header and data fields, notably from afp-test;
changeset
wenzelm [Wed, 05 Oct 2016 22:09:53 +0200] rev 64061
some support for header and data fields, notably from afp-test;
Wed, 05 Oct 2016 22:07:36 +0200 tuned signature;
changeset
wenzelm [Wed, 05 Oct 2016 22:07:36 +0200] rev 64060
tuned signature;
Wed, 05 Oct 2016 21:02:08 +0200 more flexibile formatting;
changeset
wenzelm [Wed, 05 Oct 2016 21:02:08 +0200] rev 64059
more flexibile formatting; expose representation for free-form formatters;
Wed, 05 Oct 2016 20:13:32 +0200 proper calculation;
changeset
wenzelm [Wed, 05 Oct 2016 20:13:32 +0200] rev 64058
proper calculation;
Wed, 05 Oct 2016 20:06:54 +0200 more operations;
changeset
wenzelm [Wed, 05 Oct 2016 20:06:54 +0200] rev 64057
more operations; tuned;
Wed, 05 Oct 2016 19:45:36 +0200 more date and time operations from Java 8;
changeset
wenzelm [Wed, 05 Oct 2016 19:45:36 +0200] rev 64056
more date and time operations from Java 8;
Wed, 05 Oct 2016 14:34:42 +0200 proper imports;
changeset
wenzelm [Wed, 05 Oct 2016 14:34:42 +0200] rev 64055
proper imports;
Wed, 05 Oct 2016 14:15:54 +0200 clarified modules;
changeset
wenzelm [Wed, 05 Oct 2016 14:15:54 +0200] rev 64054
clarified modules;
Wed, 05 Oct 2016 13:56:19 +0200 more operations;
changeset
wenzelm [Wed, 05 Oct 2016 13:56:19 +0200] rev 64053
more operations;
Wed, 05 Oct 2016 13:27:25 +0200 added multicore_base option;
changeset
wenzelm [Wed, 05 Oct 2016 13:27:25 +0200] rev 64052
added multicore_base option;
Wed, 05 Oct 2016 12:36:56 +0200 allow multiple threads configurations;
changeset
wenzelm [Wed, 05 Oct 2016 12:36:56 +0200] rev 64051
allow multiple threads configurations;
Wed, 05 Oct 2016 12:09:20 +0200 tuned;
changeset
wenzelm [Wed, 05 Oct 2016 12:09:20 +0200] rev 64050
tuned;
Wed, 05 Oct 2016 11:43:00 +0200 misc tuning and clarification;
changeset
wenzelm [Wed, 05 Oct 2016 11:43:00 +0200] rev 64049
misc tuning and clarification;
Wed, 05 Oct 2016 11:13:02 +0200 clean output dir for fresh rebuild;
changeset
wenzelm [Wed, 05 Oct 2016 11:13:02 +0200] rev 64048
clean output dir for fresh rebuild; clarified echo;
Wed, 05 Oct 2016 11:05:41 +0200 allow multiline script;
changeset
wenzelm [Wed, 05 Oct 2016 11:05:41 +0200] rev 64047
allow multiline script;
Wed, 05 Oct 2016 10:43:52 +0200 clarified sanity checks;
changeset
wenzelm [Wed, 05 Oct 2016 10:43:52 +0200] rev 64046
clarified sanity checks;
Tue, 04 Oct 2016 21:11:35 +0200 clarified modules;
changeset
wenzelm [Tue, 04 Oct 2016 21:11:35 +0200] rev 64045
clarified modules;
Tue, 04 Oct 2016 20:20:21 +0200 historic workaround according to 22630327408b;
changeset
wenzelm [Tue, 04 Oct 2016 20:20:21 +0200] rev 64044
historic workaround according to 22630327408b;
Tue, 04 Oct 2016 19:43:18 +0200 more thorought update of components;
changeset
wenzelm [Tue, 04 Oct 2016 19:43:18 +0200] rev 64043
more thorought update of components;
Tue, 04 Oct 2016 19:38:43 +0200 check session name;
changeset
wenzelm [Tue, 04 Oct 2016 19:38:43 +0200] rev 64042
check session name;
Tue, 04 Oct 2016 19:26:19 +0200 tuned signature;
changeset
wenzelm [Tue, 04 Oct 2016 19:26:19 +0200] rev 64041
tuned signature;
Tue, 04 Oct 2016 18:26:26 +0200 tuned error;
changeset
wenzelm [Tue, 04 Oct 2016 18:26:26 +0200] rev 64040
tuned error;
Tue, 04 Oct 2016 18:09:23 +0200 earlier build_history_base: timing properties in log are introduced here;
changeset
wenzelm [Tue, 04 Oct 2016 18:09:23 +0200] rev 64039
earlier build_history_base: timing properties in log are introduced here;
Tue, 04 Oct 2016 15:42:08 +0200 incremental output;
changeset
wenzelm [Tue, 04 Oct 2016 15:42:08 +0200] rev 64038
incremental output; tuned;
Tue, 04 Oct 2016 15:03:26 +0200 clarified output;
changeset
wenzelm [Tue, 04 Oct 2016 15:03:26 +0200] rev 64037
clarified output;
Tue, 04 Oct 2016 14:53:06 +0200 clarified heap options;
changeset
wenzelm [Tue, 04 Oct 2016 14:53:06 +0200] rev 64036
clarified heap options;
Tue, 04 Oct 2016 14:39:31 +0200 proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
changeset
wenzelm [Tue, 04 Oct 2016 14:39:31 +0200] rev 64035
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
Tue, 04 Oct 2016 14:32:44 +0200 more ambitious default as in former isatest;
changeset
wenzelm [Tue, 04 Oct 2016 14:32:44 +0200] rev 64034
more ambitious default as in former isatest;
Tue, 04 Oct 2016 14:26:05 +0200 tuned signature;
changeset
wenzelm [Tue, 04 Oct 2016 14:26:05 +0200] rev 64033
tuned signature;
Tue, 04 Oct 2016 14:20:26 +0200 tuned;
changeset
wenzelm [Tue, 04 Oct 2016 14:20:26 +0200] rev 64032
tuned;
Tue, 04 Oct 2016 14:07:10 +0200 more sanity checks;
changeset
wenzelm [Tue, 04 Oct 2016 14:07:10 +0200] rev 64031
more sanity checks;
Tue, 04 Oct 2016 13:56:02 +0200 more options for generated settings;
changeset
wenzelm [Tue, 04 Oct 2016 13:56:02 +0200] rev 64030
more options for generated settings;
Mon, 03 Oct 2016 21:55:41 +0200 more robust build_history_base;
changeset
wenzelm [Mon, 03 Oct 2016 21:55:41 +0200] rev 64029
more robust build_history_base;
Mon, 03 Oct 2016 21:53:14 +0200 more robust;
changeset
wenzelm [Mon, 03 Oct 2016 21:53:14 +0200] rev 64028
more robust;
Mon, 03 Oct 2016 21:36:10 +0200 proper log output;
changeset
wenzelm [Mon, 03 Oct 2016 21:36:10 +0200] rev 64027
proper log output;
Mon, 03 Oct 2016 21:14:21 +0200 clarified command line;
changeset
wenzelm [Mon, 03 Oct 2016 21:14:21 +0200] rev 64026
clarified command line; clarified result;
Mon, 03 Oct 2016 20:26:32 +0200 clarified command-line;
changeset
wenzelm [Mon, 03 Oct 2016 20:26:32 +0200] rev 64025
clarified command-line; init settings and components;
Mon, 03 Oct 2016 20:09:50 +0200 more operations;
changeset
wenzelm [Mon, 03 Oct 2016 20:09:50 +0200] rev 64024
more operations;
Mon, 03 Oct 2016 18:54:59 +0200 more formal build_history_base;
changeset
wenzelm [Mon, 03 Oct 2016 18:54:59 +0200] rev 64023
more formal build_history_base;
Mon, 03 Oct 2016 17:23:33 +0200 clarified cold-start environment;
changeset
wenzelm [Mon, 03 Oct 2016 17:23:33 +0200] rev 64022
clarified cold-start environment;
Mon, 03 Oct 2016 16:50:29 +0200 basic setup for Admin/build_history -- outside of Isabelle environment;
changeset
wenzelm [Mon, 03 Oct 2016 16:50:29 +0200] rev 64021
basic setup for Admin/build_history -- outside of Isabelle environment;
Mon, 03 Oct 2016 16:15:59 +0200 clarified: a variant of -i is the default, but its output is not as precise as it might seem;
changeset
wenzelm [Mon, 03 Oct 2016 16:15:59 +0200] rev 64020
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
Wed, 05 Oct 2016 21:27:21 +0200 merged
changeset
nipkow [Wed, 05 Oct 2016 21:27:21 +0200] rev 64019
merged
Wed, 05 Oct 2016 20:01:05 +0200 replaced floorlog by floor/ceiling(log .)
changeset
nipkow [Wed, 05 Oct 2016 20:01:05 +0200] rev 64018
replaced floorlog by floor/ceiling(log .)
Wed, 05 Oct 2016 20:12:56 +0200 more multiset simp rules
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 05 Oct 2016 20:12:56 +0200] rev 64017
more multiset simp rules
Wed, 05 Oct 2016 14:28:22 +0200 tuned proof -- much faster
changeset
fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 05 Oct 2016 14:28:22 +0200] rev 64016
tuned proof -- much faster
Mon, 03 Oct 2016 14:37:06 +0200 proof of concept for algebraically founded word types
changeset
haftmann [Mon, 03 Oct 2016 14:37:06 +0200] rev 64015
proof of concept for algebraically founded word types
Mon, 03 Oct 2016 14:34:32 +0200 more lemmas
changeset
haftmann [Mon, 03 Oct 2016 14:34:32 +0200] rev 64014
more lemmas
Mon, 03 Oct 2016 14:34:31 +0200 option to report results of solve_direct as explicit warnings
changeset
haftmann [Mon, 03 Oct 2016 14:34:31 +0200] rev 64013
option to report results of solve_direct as explicit warnings
Mon, 03 Oct 2016 14:34:30 +0200 modernized option
changeset
haftmann [Mon, 03 Oct 2016 14:34:30 +0200] rev 64012
modernized option
Mon, 03 Oct 2016 14:34:29 +0200 CONTRIBUTORS
changeset
haftmann [Mon, 03 Oct 2016 14:34:29 +0200] rev 64011
CONTRIBUTORS
Mon, 03 Oct 2016 18:19:24 +0200 Probability: move some theorems from AFP/Density_Compiler
changeset
hoelzl [Mon, 03 Oct 2016 18:19:24 +0200] rev 64010
Probability: move some theorems from AFP/Density_Compiler
Mon, 03 Oct 2016 15:46:08 +0200 Probability: variant of central limit theorem with non-zero mean
changeset
hoelzl [Mon, 03 Oct 2016 15:46:08 +0200] rev 64009
Probability: variant of central limit theorem with non-zero mean
Fri, 30 Sep 2016 16:08:38 +0200 HOL-Probability: more about probability, prepare for Markov processes in the AFP
changeset
hoelzl [Fri, 30 Sep 2016 16:08:38 +0200] rev 64008
HOL-Probability: more about probability, prepare for Markov processes in the AFP
Mon, 03 Oct 2016 14:09:26 +0100 Merge
changeset
paulson <lp15@cam.ac.uk> [Mon, 03 Oct 2016 14:09:26 +0100] rev 64007
Merge
Mon, 03 Oct 2016 13:01:01 +0100 new theorems including the theory FurtherTopology
changeset
paulson <lp15@cam.ac.uk> [Mon, 03 Oct 2016 13:01:01 +0100] rev 64006
new theorems including the theory FurtherTopology
Mon, 03 Oct 2016 12:39:03 +0200 clarified magic values (see also java/io/BufferedInputStream.java);
changeset
wenzelm [Mon, 03 Oct 2016 12:39:03 +0200] rev 64005
clarified magic values (see also java/io/BufferedInputStream.java);
Mon, 03 Oct 2016 12:28:36 +0200 clarified stream operations;
changeset
wenzelm [Mon, 03 Oct 2016 12:28:36 +0200] rev 64004
clarified stream operations; added XZ data compression;
Mon, 03 Oct 2016 12:24:22 +0200 tuned signature;
changeset
wenzelm [Mon, 03 Oct 2016 12:24:22 +0200] rev 64003
tuned signature;
Mon, 03 Oct 2016 10:51:51 +0200 clarified modules;
changeset
wenzelm [Mon, 03 Oct 2016 10:51:51 +0200] rev 64002
clarified modules; afford explicit string composition in terminate_lines;
Mon, 03 Oct 2016 10:49:27 +0200 more general read_stream: return actual byte count;
changeset
wenzelm [Mon, 03 Oct 2016 10:49:27 +0200] rev 64001
more general read_stream: return actual byte count;
Sun, 02 Oct 2016 22:05:40 +0200 clarified modules;
changeset
wenzelm [Sun, 02 Oct 2016 22:05:40 +0200] rev 64000
clarified modules;
Sun, 02 Oct 2016 21:05:14 +0200 more operations;
changeset
wenzelm [Sun, 02 Oct 2016 21:05:14 +0200] rev 63999
more operations;
Sun, 02 Oct 2016 20:06:57 +0200 more operations;
changeset
wenzelm [Sun, 02 Oct 2016 20:06:57 +0200] rev 63998
more operations;
(0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip
isabelle