| Mon, 28 Nov 2011 22:05:32 +0100 |
separate module for concrete Isabelle markup;
|
file | diff | annotate |
| Mon, 06 Sep 2010 21:33:19 +0200 |
more explicit indication of Config.raw options, which are only needed for bootstrapping Pure;
|
file | diff | annotate |
| Sun, 05 Sep 2010 21:41:24 +0200 |
turned show_sorts/show_types into proper configuration options;
|
file | diff | annotate |
| Fri, 03 Sep 2010 21:13:53 +0200 |
pretty_goals: turned some global references and function arguments into configuration options (goals_limit = 10, goals_total = true, show_main_goal = false) depending on the context;
|
file | diff | annotate |
| Fri, 03 Sep 2010 17:43:44 +0200 |
turned show_all_types into proper configuration option;
|
file | diff | annotate |
| Fri, 03 Sep 2010 16:09:12 +0200 |
more explicit Config.declare vs. Config.declare_global;
|
file | diff | annotate |
| Fri, 03 Sep 2010 15:54:03 +0200 |
turned show_no_free_types into proper configuration option show_free_types, with flipped polarity;
|
file | diff | annotate |
| Fri, 03 Sep 2010 11:21:58 +0200 |
turned show_consts into proper configuration option;
|
file | diff | annotate |
| Wed, 25 Nov 2009 09:13:46 +0100 |
normalized uncurry take/drop
|
file | diff | annotate |
| Tue, 24 Nov 2009 17:28:25 +0100 |
curried take/drop
|
file | diff | annotate |
| Sat, 17 Oct 2009 15:57:51 +0200 |
indicate CRITICAL nature of various setmp combinators;
|
file | diff | annotate |
| Tue, 29 Sep 2009 11:49:22 +0200 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
| Sat, 25 Jul 2009 10:31:27 +0200 |
renamed structure Display_Goal to Goal_Display;
|
file | diff | annotate | base |