On 04/26/2012 02:09 PM, Makarius wrote:
The website itself is starting to take shape. Thanks to Johannes Hölzl
we now have nice download buttons that detect the platform of the web
browser: Linux, Linux 64 bit, Mac OS X, Windows. All 4 buttons are shown
if the platform cannot be detected.
On Thu, 2012-04-26 at 14:09 +0200, Makarius wrote:
The website itself is starting to take shape. Thanks to Johannes
Hölzl we now have nice download buttons that detect the platform of
the web browser: Linux, Linux 64 bit, Mac OS X, Windows. All 4
buttons are shown if the platform cannot be
On 26.04.2012 14:32, Tjark Weber wrote:
On Thu, 2012-04-26 at 14:09 +0200, Makarius wrote:
The website itself is starting to take shape. Thanks to Johannes
Hölzl we now have nice download buttons that detect the platform of
the web browser: Linux, Linux 64 bit, Mac OS X, Windows. All 4
On Thu, 26 Apr 2012, Lars Noschinski wrote:
On 26.04.2012 14:32, Tjark Weber wrote:
On Thu, 2012-04-26 at 14:09 +0200, Makarius wrote:
The website itself is starting to take shape. Thanks to Johannes
Hölzl we now have nice download buttons that detect the platform of
the web browser: Linux,
On Thu, 26 Apr 2012, Ondřej Kunčar wrote:
My operating system is detected as 32-bit Linux for the following user
agent strings, which is wrong.
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/536.4 (KHTML, like Gecko)
Chrome/19.0.1079.0 Safari/536.4 SUSE/19.0.1079.0
Opera/9.80 (X11; Linux
It works for me, and the auto-detect is nice.
The option to download for arbitrary platforms is occasionally useful, but
isn't worth making a big effort. A simple link or button labelled “other
platforms or “show all platforms should be sufficient.
Larry
On 26 Apr 2012, at 13:09, Makarius
The current state of the Download-button can be seen here:
http://www21.in.tum.de/~hoelzl/test/
* If the detection does not work all platforms are shown as button
* If the detection works then the suggested platforms are shown as
buttons, and the other ones as normal links
- Johannes
On Wed, 18 Apr 2012, Thomas Sewell wrote:
The fold_congs theorems are not an accident. They are used as congruence
rules to perform conversions such as
rec (| x := rec x + 1 |) = x_update (%x. x + 1) rec. Note this removes the
duplicated mention of the name rec.
OK, I knew that the get/map
Dear all,
with the current repo head (changeset fe43977e434f) I obtain the
following error when trying to start jEdit (after a successful ./build
-b HOL):
### Building Isabelle/jEdit ...
Changed files:
src/isabelle_sidekick.scala
src/isabelle_sidekick.scala:109: error: trait
Maybe I should have tried it myself before posting ;). Yes, it works
with jdk1.6.0_32.
cheers
chris
On 04/27/2012 01:33 PM, Christian Sternagel wrote:
Dear all,
with the current repo head (changeset fe43977e434f) I obtain the
following error when trying to start jEdit (after a successful
Sorry, something strange was going on... after loading the file with the
below contents again, the results are different (but I swear that they
have been as shown the first time).
Now the first 'value [simp] revapp xs ys' yields
fold op # xs [] @ ys :: 'a list
which is still strange, since
11 matches
Mail list logo
