Tue, 13 Aug 2013 19:52:12 +0200 merged
wenzelm [Tue, 13 Aug 2013 19:52:12 +0200] rev 53020
merged
Tue, 13 Aug 2013 16:15:31 +0200 more general window_geometry;
wenzelm [Tue, 13 Aug 2013 16:15:31 +0200] rev 53019
more general window_geometry;
Tue, 13 Aug 2013 19:57:57 +0200 added rail diagram
blanchet [Tue, 13 Aug 2013 19:57:57 +0200] rev 53018
added rail diagram
Tue, 13 Aug 2013 17:45:22 +0200 merged
wenzelm [Tue, 13 Aug 2013 17:45:22 +0200] rev 53017
merged
Tue, 13 Aug 2013 17:26:22 +0200 disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
wenzelm [Tue, 13 Aug 2013 17:26:22 +0200] rev 53016
disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
Tue, 13 Aug 2013 16:25:47 +0200 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
wenzelm [Tue, 13 Aug 2013 16:25:47 +0200] rev 53015
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Tue, 13 Aug 2013 16:53:23 +0200 imported patch added_e_1_8
blanchet [Tue, 13 Aug 2013 16:53:23 +0200] rev 53014
imported patch added_e_1_8
Tue, 13 Aug 2013 15:59:22 +0200 remove unnecessary dependencies on Library/Quotient_*
kuncar [Tue, 13 Aug 2013 15:59:22 +0200] rev 53013
remove unnecessary dependencies on Library/Quotient_*
Tue, 13 Aug 2013 15:59:22 +0200 move Lifting/Transfer relevant parts of Library/Quotient_* to Main
kuncar [Tue, 13 Aug 2013 15:59:22 +0200] rev 53012
move Lifting/Transfer relevant parts of Library/Quotient_* to Main
Tue, 13 Aug 2013 15:59:22 +0200 introduce locale with syntax for fun_rel and map_fun and make thus ===> and ---> local
kuncar [Tue, 13 Aug 2013 15:59:22 +0200] rev 53011
introduce locale with syntax for fun_rel and map_fun and make thus ===> and ---> local
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip