| Tue, 09 Jun 2009 20:40:19 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 Jun 2009 20:29:23 +0200 | wenzelm | more native Scala style; | changeset | files |
| Tue, 09 Jun 2009 20:18:21 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 Jun 2009 01:32:57 +0200 | wenzelm | simplified IsabelleSystem.platform_path for cygwin; | changeset | files |
| Tue, 09 Jun 2009 18:19:19 +0200 | wenzelm | merged | changeset | files |
| Tue, 09 Jun 2009 16:38:33 +0200 | himmelma | removed duplicate lemmas | changeset | files |
| Tue, 09 Jun 2009 14:20:37 +0200 | bulwahn | removed general graph functions in the predicate compiler | changeset | files |
| Tue, 09 Jun 2009 13:56:28 +0200 | bulwahn | added graph builders | changeset | files |
| Tue, 09 Jun 2009 13:40:57 +0200 | bulwahn | removed debug messages | changeset | files |
| Tue, 09 Jun 2009 12:05:22 +0200 | bulwahn | refactoring the predicate compiler | changeset | files |
| Tue, 09 Jun 2009 11:11:13 +0200 | chaieb | merged | changeset | files |
| Tue, 09 Jun 2009 11:10:33 +0200 | chaieb | Tuned sos tactic to reject non SOS goals | changeset | files |
| Tue, 09 Jun 2009 09:22:58 +0200 | boehmes | tuned | changeset | files |
| Mon, 08 Jun 2009 22:29:37 +0200 | boehmes | fast_lin_arith uses proper multiplication instead of unfolding to additions | changeset | files |
| Mon, 08 Jun 2009 20:43:57 +0200 | nipkow | more lemmas | changeset | files |
| Mon, 08 Jun 2009 18:34:02 +0200 | hoelzl | Better approximation of cos around pi. | changeset | files |
| Mon, 08 Jun 2009 07:22:35 -0700 | huffman | merged | changeset | files |
| Sun, 07 Jun 2009 20:57:52 -0700 | huffman | merged | changeset | files |
| Mon, 08 Jun 2009 09:58:41 +0200 | nipkow | new lemma | changeset | files |
| Mon, 08 Jun 2009 09:23:04 +0200 | haftmann | merged | changeset | files |
| Mon, 08 Jun 2009 09:03:00 +0200 | haftmann | merged | changeset | files |
| Mon, 08 Jun 2009 09:02:51 +0200 | haftmann | proper deresolving of class relations and class parameters in SML | changeset | files |
| Mon, 08 Jun 2009 08:52:18 +0200 | nipkow | New lemma | changeset | files |
| Mon, 08 Jun 2009 00:26:57 +0200 | wenzelm | eliminated hardwired Cygwin setup; | changeset | files |
| Mon, 08 Jun 2009 00:20:43 +0200 | wenzelm | Accessing the Cygwin installation. | changeset | files |
| Sun, 07 Jun 2009 20:15:29 +0200 | wenzelm | static IsabelleSystem.charset; | changeset | files |
| Sun, 07 Jun 2009 19:07:05 +0200 | wenzelm | isabelle getenv: option -d; | changeset | files |
| Sat, 06 Jun 2009 23:43:07 +0200 | wenzelm | no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources; | changeset | files |
| Sat, 06 Jun 2009 21:57:50 +0200 | wenzelm | updated version; | changeset | files |
| Sun, 07 Jun 2009 20:57:24 -0700 | huffman | fix type of open | changeset | files |