| Sun, 15 Mar 2009 20:19:14 +0100 | wenzelm | export section, sections; | changeset | files |
| Sun, 15 Mar 2009 16:59:17 +0100 | wenzelm | merged | changeset | files |
| Sat, 14 Mar 2009 17:52:53 +0100 | immler | updated NEWS | changeset | files |
| Sat, 14 Mar 2009 16:50:25 +0100 | immler | use goal instead of Proof State | changeset | files |
| Sat, 14 Mar 2009 16:46:23 +0100 | immler | split relevance-filter and writing of problem-files; | changeset | files |
| Sat, 14 Mar 2009 15:45:45 +0100 | immler | show certain errors to the user | changeset | files |
| Sat, 14 Mar 2009 15:15:44 +0100 | immler | removed connection check; | changeset | files |
| Sun, 15 Mar 2009 16:02:22 +0100 | wenzelm | merged | changeset | files |
| Sat, 14 Mar 2009 12:51:13 +0100 | haftmann | merged | changeset | files |
| Sat, 14 Mar 2009 12:50:29 +0100 | haftmann | reverted to old version of Set.thy -- strange effects have to be traced first | changeset | files |
| Sun, 15 Mar 2009 15:59:45 +0100 | wenzelm | simplified attribute and method setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | updated generated files; | changeset | files |
| Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | added 'attribute_setup' command; | changeset | files |
| Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | added setup and attribute_setup -- expect plain parser instead of syntax function; | changeset | files |
| Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | ML_Syntax.make_binding; | changeset | files |
| Sun, 15 Mar 2009 15:59:42 +0100 | wenzelm | added make_binding; | changeset | files |
| Sat, 14 Mar 2009 00:13:50 +0100 | wenzelm | removed obsolete no_base_names naming policy; | changeset | files |
| Fri, 13 Mar 2009 23:56:07 +0100 | wenzelm | merged | changeset | files |
| Fri, 13 Mar 2009 19:18:07 +0100 | haftmann | merged | changeset | files |
| Fri, 13 Mar 2009 19:17:58 +0100 | haftmann | coherent binding policy with primitive target operations | changeset | files |
| Fri, 13 Mar 2009 19:17:57 +0100 | haftmann | moved some generic nonsense to arith_data.ML | changeset | files |
| Fri, 13 Mar 2009 19:17:57 +0100 | haftmann | tuned ML code | changeset | files |
| Fri, 13 Mar 2009 10:14:47 -0700 | huffman | remove legacy ML bindings | changeset | files |
| Fri, 13 Mar 2009 23:50:05 +0100 | wenzelm | simplified method setup; | changeset | files |
| Fri, 13 Mar 2009 23:32:40 +0100 | wenzelm | simplified goal_spec: default to first goal; | changeset | files |
| Fri, 13 Mar 2009 21:25:15 +0100 | wenzelm | eliminated type Args.T; | changeset | files |
| Fri, 13 Mar 2009 21:24:21 +0100 | wenzelm | added simplified setup; | changeset | files |
| Fri, 13 Mar 2009 21:22:45 +0100 | wenzelm | pervasive types 'a parser and 'a context_parser; | changeset | files |