| 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 |