Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
timeit message;
2010-01-11, by wenzelm
treat *all* JVM throwables as "exceptions", cf. ML version;
2010-01-11, by wenzelm
simplified Text_Edit -- deflated class hierarchy;
2010-01-11, by wenzelm
Outer_Lex.is_ignored;
2010-01-11, by wenzelm
merged
2010-01-11, by wenzelm
merged
2010-01-10, by haftmann
proper types for user-defined syntax
2010-01-08, by haftmann
single quote is not a valid letter any more
2010-01-08, by haftmann
simple tests
2010-01-08, by haftmann
boolean operators for scala
2010-01-08, by haftmann
elements with start entry;
2010-01-10, by wenzelm
plain object;
2010-01-10, by wenzelm
tuned signature;
2010-01-10, by wenzelm
tuned;
2010-01-10, by wenzelm
misc tuning;
2010-01-09, by wenzelm
Swing_Thread.future: plain Future.value if this is already Swing;
2010-01-09, by wenzelm
added find_files;
2010-01-09, by wenzelm
pass build error code;
2010-01-09, by wenzelm
tuned isatest ML_OPTIONS;
2010-01-09, by wenzelm
merged
2010-01-08, by haftmann
a primitive scala serializer
2010-01-08, by haftmann
fixed type error;
2010-01-08, by wenzelm
remove overloaded star operator, use specific vector / matrix operators
2010-01-07, by hoelzl
finite annotation on cartesian product is now implicit.
2010-01-07, by hoelzl
added syntax translation to automatically add finite typeclass to index type of cartesian product type
2010-01-07, by hoelzl
Made finite cartesian products finite
2010-01-06, by himmelma
reduced arity of Nitpick selectors associated with sets by 1, by using "Formula" instead of "Atom 2"
2010-01-07, by blanchet
make Nitpick's tests not leave files in the temp directory
2010-01-07, by blanchet
more text edit operations;
2010-01-06, by wenzelm
always report updates -- required has "handshake";
2010-01-06, by wenzelm
tuned Isabelle/Scala build;
2010-01-06, by wenzelm
simplified build/bootstrap of graph browser -- avoid make;
2010-01-06, by wenzelm
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2010-01-06, by wenzelm
more robust cancelation, notably of passive futures without scheduler running;
2010-01-06, by wenzelm
eliminated cache, which complicates the code without making a real difference (NB: deque_towards often disrupts caching, and daisy-chaining of workers already reduces queue overhead);
2010-01-06, by wenzelm
tasks of canceled groups are considered "ready" -- enables to purge the queue from tasks depending on unfinished promises (also improves general reactivity);
2010-01-06, by wenzelm
do not memoize interrupts;
2010-01-06, by wenzelm
added Future.promise/fulfill -- promised futures that are fulfilled by external means;
2010-01-05, by wenzelm
Basic edits on plain text.
2010-01-05, by wenzelm
recovered legacy settings for Proof General 3.x;
2010-01-05, by wenzelm
merged
2010-01-05, by wenzelm
merged
2010-01-05, by haftmann
avoid exporting Type.build_tsig
2010-01-05, by haftmann
repaired legacy setting variable
2010-01-05, by haftmann
merged
2010-01-05, by haftmann
more correct handling of empty functions
2010-01-05, by haftmann
separate module Thy_Syntax for command span parsing;
2010-01-05, by wenzelm
more accurate scanning of bad input;
2010-01-05, by wenzelm
added filter_proper parameter;
2010-01-05, by wenzelm
more token discriminators;
2010-01-05, by wenzelm
tuned message;
2010-01-05, by wenzelm
tuned;
2010-01-05, by wenzelm
added Promise.fulfill_result;
2010-01-05, by wenzelm
slightly shorter tail (again) -- theory loader produces less warning spam (cf. 2524c1bbd087);
2010-01-05, by wenzelm
kill failed theories in reverse order -- avoids cascaded warnings;
2010-01-05, by wenzelm
discontinued old TheoryDataFun, but retain Theory_Data_PP with is Pretty.pp argument to merge (still required in exotic situations -- hard to get rid of);
2010-01-04, by wenzelm
Standard_System.raw_exec;
2010-01-04, by wenzelm
removed function "isabelle-process", keeping "isabelle" only -- functions within the process environment might get passed through a genuine /bin/sh, which does not allow non-identifiers here;
2010-01-04, by wenzelm
added Cygwin "make" package;
2010-01-04, by wenzelm
discontinued old ISABELLE and ISATOOL environment settings;
2010-01-04, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip