| Thu, 23 Jun 2011 09:04:20 -0700 |
huffman |
added number_semiring class, plus a few new lemmas;
|
changeset |
files
|
| Thu, 23 Jun 2011 16:31:20 +0200 |
blanchet |
merged
|
changeset |
files
|
| Thu, 23 Jun 2011 11:19:41 +0200 |
blanchet |
fiddle with remote ATP settings, based on Judgment Day
|
changeset |
files
|
| Thu, 23 Jun 2011 11:19:41 +0200 |
blanchet |
give slightly more time to server to respond, to avoid leaving too much garbage on Geoff's servers
|
changeset |
files
|
| Thu, 23 Jun 2011 12:02:54 +0200 |
ballarin |
Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system.
|
changeset |
files
|
| Wed, 22 Jun 2011 15:58:55 -0700 |
huffman |
generalize lemmas power_number_of_even and power_number_of_odd
|
changeset |
files
|
| Wed, 22 Jun 2011 13:45:32 -0700 |
huffman |
merged
|
changeset |
files
|
| Wed, 22 Jun 2011 13:30:28 -0700 |
huffman |
add HOLCF/ex/Concurrency_Monad.thy, which contains resumption/state/powerdomain monad example from my PhD thesis
|
changeset |
files
|
| Thu, 23 Jun 2011 17:17:40 +0200 |
wenzelm |
simplified arrangement of jars;
|
changeset |
files
|
| Thu, 23 Jun 2011 16:34:29 +0200 |
wenzelm |
adapted to Cygwin;
|
changeset |
files
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
changeset |
files
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
changeset |
files
|