| Thu, 02 Jul 2009 17:30:54 +0200 | wenzelm | misc tuning; | changeset | files |
| Thu, 02 Jul 2009 15:37:22 +0200 | wenzelm | fixed document (DERIV_intros); | changeset | files |
| Tue, 30 Jun 2009 22:23:33 +0200 | wenzelm | more detailed timing message; | changeset | files |
| Tue, 30 Jun 2009 22:12:46 +0200 | wenzelm | default to maximum max_threads; | changeset | files |
| Tue, 30 Jun 2009 22:05:07 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 22:04:41 +0200 | wenzelm | fixed ISABELLE_HOME_USER; | changeset | files |
| Tue, 30 Jun 2009 22:03:40 +0200 | haftmann | merged | changeset | files |
| Tue, 30 Jun 2009 19:45:52 +0200 | haftmann | adaptated to changes in term representation | changeset | files |
| Tue, 30 Jun 2009 19:31:50 +0200 | haftmann | improved treatment of case patterns | changeset | files |
| Tue, 30 Jun 2009 18:24:03 +0200 | haftmann | merged | changeset | files |
| Tue, 30 Jun 2009 18:23:50 +0200 | haftmann | an intermediate step towards a refined translation of cases | changeset | files |
| Tue, 30 Jun 2009 17:33:30 +0200 | haftmann | all variable names are optional | changeset | files |
| Tue, 30 Jun 2009 16:43:28 +0200 | haftmann | variable names in abstractions are optional | changeset | files |
| Tue, 30 Jun 2009 16:43:27 +0200 | haftmann | restored | changeset | files |
| Tue, 30 Jun 2009 21:51:44 +0200 | wenzelm | added isatest for x86_64-darwin; | changeset | files |
| Tue, 30 Jun 2009 21:23:01 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 19:54:04 +0200 | hoelzl | NEWS updated | changeset | files |
| Tue, 30 Jun 2009 18:25:55 +0200 | hoelzl | DERIV_ln is proved in Transcendental and in Ln, use Transcendental to prove Ln. | changeset | files |
| Tue, 30 Jun 2009 18:24:00 +0200 | hoelzl | remove DERIV_tac and deriv_tac, neither is used in Isabelle/HOL or the AFP | changeset | files |
| Tue, 30 Jun 2009 18:21:55 +0200 | hoelzl | use DERIV_intros | changeset | files |
| Tue, 30 Jun 2009 18:16:22 +0200 | hoelzl | Added DERIV_intros | changeset | files |
| Tue, 30 Jun 2009 15:58:12 +0200 | bulwahn | commented trancl example; added debug message | changeset | files |
| Tue, 30 Jun 2009 14:55:06 +0200 | bulwahn | merged | changeset | files |
| Tue, 30 Jun 2009 14:54:30 +0200 | bulwahn | exported is_registered; added debug messages; removed extended parameter compilation in predicate compiler | changeset | files |
| Mon, 29 Jun 2009 12:33:58 +0200 | bulwahn | added diagnostic printing; changed proof for parameters; moved code | changeset | files |
| Tue, 30 Jun 2009 14:54:32 +0200 | haftmann | merged | changeset | files |
| Tue, 30 Jun 2009 14:54:00 +0200 | haftmann | simplified binding concept | changeset | files |
| Tue, 30 Jun 2009 14:53:59 +0200 | haftmann | temporary workaround | changeset | files |
| Tue, 30 Jun 2009 14:53:58 +0200 | haftmann | tuned | changeset | files |
| Tue, 30 Jun 2009 14:53:57 +0200 | haftmann | streamlined code | changeset | files |
| Tue, 30 Jun 2009 14:53:56 +0200 | haftmann | dropped id | changeset | files |
| Mon, 29 Jun 2009 16:17:57 +0200 | haftmann | mutual instances | changeset | files |
| Mon, 29 Jun 2009 16:17:56 +0200 | haftmann | canonical prefix for datatype derivates | changeset | files |
| Mon, 29 Jun 2009 16:17:55 +0200 | haftmann | tuned | changeset | files |
| Tue, 30 Jun 2009 11:21:02 +0200 | immler | check for correct proof output | changeset | files |
| Tue, 30 Jun 2009 11:21:02 +0200 | immler | fixed: count constants with supplementary lemmas | changeset | files |
| Tue, 30 Jun 2009 10:59:02 +0200 | hoelzl | removed latex markup - there is no document generated from Decision_Procs/ex | changeset | files |
| Mon, 29 Jun 2009 23:29:11 +0200 | hoelzl | Implemented taylor series expansion for approximation | changeset | files |
| Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | changeset | files |
| Tue, 30 Jun 2009 00:57:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 00:50:42 +0200 | wenzelm | more display; | changeset | files |
| Tue, 30 Jun 2009 00:57:06 +0200 | wenzelm | added icon; | changeset | files |
| Tue, 30 Jun 2009 00:46:28 +0200 | wenzelm | basic launch4j setup; | changeset | files |
| Tue, 30 Jun 2009 00:31:18 +0200 | wenzelm | fixed permissions; | changeset | files |
| Tue, 30 Jun 2009 00:14:30 +0200 | wenzelm | fixed permissions; | changeset | files |
| Mon, 29 Jun 2009 20:05:44 +0200 | berghofe | Corrected handling of bound variables. | changeset | files |
| Mon, 29 Jun 2009 14:55:08 +0200 | haftmann | merged | changeset | files |
| Mon, 29 Jun 2009 12:18:58 +0200 | haftmann | dropped Id | changeset | files |
| Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | explicit Set constructor for code generated for sets | changeset | files |
| Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | hide popular names | changeset | files |
| Mon, 29 Jun 2009 12:18:56 +0200 | haftmann | Executable_Set is now a simple wrapper around Fset | changeset | files |
| Mon, 29 Jun 2009 12:18:55 +0200 | haftmann | renamed theory Code_Set to Fset | changeset | files |
| Mon, 29 Jun 2009 12:18:54 +0200 | haftmann | updated generated document | changeset | files |
| Sun, 28 Jun 2009 11:02:27 +0200 | haftmann | Executable_Set now based on Code_Set | changeset | files |
| Sun, 28 Jun 2009 10:33:36 +0200 | haftmann | added Inter, Union | changeset | files |
| Sun, 28 Jun 2009 22:51:29 +0200 | wenzelm | more precise dependencies for "jars"; | changeset | files |
| Sun, 28 Jun 2009 22:50:37 +0200 | wenzelm | improved display; | changeset | files |
| Sun, 28 Jun 2009 22:35:23 +0200 | wenzelm | display some platform information; | changeset | files |
| Sun, 28 Jun 2009 19:29:28 +0200 | wenzelm | discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things; | changeset | files |
| Sun, 28 Jun 2009 18:47:22 +0200 | wenzelm | merged | changeset | files |