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 |