Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 20 Sep 2011 10:52:08 -0700 add lemmas within_empty and tendsto_bot;
changeset
huffman [Tue, 20 Sep 2011 10:52:08 -0700] rev 45031
add lemmas within_empty and tendsto_bot; declare within_UNIV [simp]; tuned some proofs;
Thu, 22 Sep 2011 21:58:05 +0200 made SML/NJ happy;
changeset
wenzelm [Thu, 22 Sep 2011 21:58:05 +0200] rev 45030
made SML/NJ happy;
Thu, 22 Sep 2011 20:33:08 +0200 abstract System_Channel in ML (cf. Scala version);
changeset
wenzelm [Thu, 22 Sep 2011 20:33:08 +0200] rev 45029
abstract System_Channel in ML (cf. Scala version); back to TextIO for fifo, which is more stable in Poly/ML 5.4.x; explicit block buffering -- BinIO might be subject to old Poly/ML defaults;
Wed, 21 Sep 2011 22:18:17 +0200 alternative Socket_Channel;
changeset
wenzelm [Wed, 21 Sep 2011 22:18:17 +0200] rev 45028
alternative Socket_Channel; use BinIO for fifos uniformly;
Wed, 21 Sep 2011 20:35:50 +0200 more abstract wrapping of fifos as System_Channel;
changeset
wenzelm [Wed, 21 Sep 2011 20:35:50 +0200] rev 45027
more abstract wrapping of fifos as System_Channel;
Wed, 21 Sep 2011 17:50:25 +0200 slightly more general Socket_IO as part of Pure;
changeset
wenzelm [Wed, 21 Sep 2011 17:50:25 +0200] rev 45026
slightly more general Socket_IO as part of Pure;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle