Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
 
Tue, 28 Sep 2010 08:38:20 +0200 krauss dropped obsolete mk_tcl changeset | files
Tue, 28 Sep 2010 08:35:00 +0200 blanchet make SML/NJ happy changeset | files
Mon, 27 Sep 2010 16:32:48 +0200 haftmann merged changeset | files
Mon, 27 Sep 2010 16:27:32 +0200 haftmann combine quote and typewriter tag; typewriter considers isa@parindent changeset | files
Mon, 27 Sep 2010 16:27:31 +0200 haftmann combine quote and typewriter/tt tag changeset | files
Mon, 27 Sep 2010 16:19:37 +0200 haftmann combine quote and typewriter tag; typewriter considers isa@parindent changeset | files
Mon, 27 Sep 2010 16:19:36 +0200 haftmann combine quote and typewriter tag changeset | files
Mon, 27 Sep 2010 14:54:10 +0200 wenzelm merged changeset | files
Mon, 27 Sep 2010 14:34:55 +0200 wenzelm some more options to robustify posix_untar; changeset | files
Mon, 27 Sep 2010 13:38:35 +0200 wenzelm more efficient posix_untar -- avoid really slow java.util.zip.GZIPInputStream; changeset | files
Mon, 27 Sep 2010 11:31:39 +0200 wenzelm back to UseQuartz=true -- used to be default on Apple Java 1.5; changeset | files
Sun, 26 Sep 2010 23:35:10 +0200 wenzelm raw_untar.raw_execute with native cwd, to avoid cross-platform complications; changeset | files
Sun, 26 Sep 2010 22:54:37 +0200 wenzelm added Standard_System.raw_untar; changeset | files
Sun, 26 Sep 2010 19:46:02 +0200 wenzelm some markup for inner syntax tokens; changeset | files
Sun, 26 Sep 2010 19:32:45 +0200 wenzelm tuned signatures and messages; changeset | files
Sat, 25 Sep 2010 17:28:41 +0200 wenzelm Session_Dockable: more startup controls; changeset | files
Sat, 25 Sep 2010 16:22:27 +0200 wenzelm simplified / clarified Session.Phase; changeset | files
Sat, 25 Sep 2010 15:40:40 +0200 wenzelm more precise treatment of backgrounds vs. rectangles; changeset | files
Sat, 25 Sep 2010 14:16:59 +0200 wenzelm tuned mk_fifo; changeset | files
Sat, 25 Sep 2010 13:57:34 +0200 wenzelm tuned signature; changeset | files
Fri, 24 Sep 2010 21:05:07 +0200 wenzelm tuned border; changeset | files
Fri, 24 Sep 2010 20:33:38 +0200 wenzelm more informative Session.Phase; changeset | files
Mon, 27 Sep 2010 14:13:22 +0200 haftmann lemma remdups_map_remdups changeset | files
Mon, 27 Sep 2010 14:13:22 +0200 haftmann lemma remdups_list_of_dlist changeset | files
Mon, 27 Sep 2010 13:28:54 +0200 bulwahn merged changeset | files
Mon, 27 Sep 2010 12:23:01 +0200 bulwahn adopting example changeset | files
Mon, 27 Sep 2010 12:23:00 +0200 bulwahn adding further tracing messages; tuned changeset | files
Mon, 27 Sep 2010 12:22:57 +0200 bulwahn handling nested cases more elegant by requiring less new constants changeset | files
Mon, 27 Sep 2010 12:01:04 +0200 blanchet merged changeset | files
Mon, 27 Sep 2010 12:00:53 +0200 blanchet renamed function changeset | files
Mon, 27 Sep 2010 10:44:08 +0200 blanchet rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic" changeset | files
Mon, 27 Sep 2010 09:17:24 +0200 blanchet comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background) changeset | files
Mon, 27 Sep 2010 09:14:39 +0200 blanchet remove needless flag changeset | files
Mon, 27 Sep 2010 11:12:08 +0200 haftmann added hint on reference equality changeset | files
Mon, 27 Sep 2010 11:12:01 +0200 haftmann treat equality on refs and arrays as primitive operation changeset | files
Mon, 27 Sep 2010 11:11:59 +0200 haftmann corrected OCaml operator precedence changeset | files
Mon, 27 Sep 2010 09:36:18 +0200 haftmann corrected scope of closure changeset | files
Mon, 27 Sep 2010 08:47:23 +0200 haftmann merged changeset | files
Mon, 27 Sep 2010 08:46:53 +0200 haftmann separate quote tag from tt tag changeset | files
Fri, 24 Sep 2010 16:09:54 +0200 haftmann separate quote tag from tt tag changeset | files
Sat, 25 Sep 2010 10:32:14 +0200 blanchet make SML/NJ happy changeset | files
Fri, 24 Sep 2010 17:55:32 +0200 wenzelm merged changeset | files
Fri, 24 Sep 2010 17:20:09 +0200 wenzelm tuned warning_color; changeset | files
Fri, 24 Sep 2010 17:12:09 +0200 wenzelm tuned error_color; changeset | files
Fri, 24 Sep 2010 17:09:07 +0200 wenzelm some attempts to improve visual appearance of bad text; changeset | files
Fri, 24 Sep 2010 16:17:59 +0200 wenzelm clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; changeset | files
Fri, 24 Sep 2010 15:56:29 +0200 wenzelm updated generated file; changeset | files
Fri, 24 Sep 2010 15:53:13 +0200 wenzelm modernized structure Ord_List; changeset | files
Fri, 24 Sep 2010 15:37:36 +0200 wenzelm isatest: indicate Isabelle version; changeset | files
Fri, 24 Sep 2010 15:30:30 +0200 wenzelm actually handle Type.TYPE_MATCH, not arbitrary exceptions; changeset | files
Fri, 24 Sep 2010 15:53:57 +0200 haftmann merged changeset | files
Fri, 24 Sep 2010 15:53:43 +0200 haftmann tuned schema table changeset | files
Fri, 24 Sep 2010 15:14:55 +0200 wenzelm merged changeset | files
Fri, 24 Sep 2010 14:57:17 +0200 wenzelm merged changeset | files
Fri, 24 Sep 2010 14:47:01 +0200 wenzelm persistent session-panel.selection; changeset | files
Fri, 24 Sep 2010 14:14:21 +0200 wenzelm slightly more robust EditBus plumbing wrt. Document_View/Document_Model; changeset | files
Fri, 24 Sep 2010 14:12:33 +0200 wenzelm permissive exit; changeset | files
Fri, 24 Sep 2010 00:00:21 +0200 wenzelm added Session_Dockable.session_phase label; changeset | files
Thu, 23 Sep 2010 23:04:50 +0200 wenzelm separate Plugin.init_model; changeset | files
Thu, 23 Sep 2010 22:04:18 +0200 wenzelm simplified Session.Phase; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
wneuper/isa