Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-07-21

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:49 stoopkid_ joined #isabelle
01:48 ilbot3 joined #isabelle
01:48 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
06:25 larsrh int-e: do you by chance know this person? https://stackoverflow.com/a/45229922/4776939
06:25 larsrh I'm asking because he said "Innsbruck"
06:25 larsrh I'd like to figure out who gave him the idea that isabellectl is somehow official
07:34 larsrh on second thought, scratch that ... he probably didn't use isabellectl
07:34 larsrh but then, why did the Isabelle installation end up in %APPDATA%?
07:47 int-e I have a guess, can verify later and ask how they installed Isabelle in the first place.
07:50 larsrh thanks
07:51 larsrh it does sound like a bug, just need to figure out who has the bug here :-)
08:00 int-e Well I've never used the windows installer. It's an exe file, but where does it put the files by default?
08:02 larsrh it asks you for the location ... by default it is the same folder where the exe file is
08:03 larsrh so if you download on desktop you'll get an Isabelle2016-1 folder there
08:06 int-e But if you somehow manage to download to teh AppData folder... hmm.
08:08 int-e ironically the fact that they're not from Innsbruck gives me a better idea who they may be :P
09:18 int-e Okay, the guess was correct; apparently user19... always installs software in a particular drive, which (we haven't checked) *may* actually be that shared appdata folder. The main obstacle in the beginning seems to be that http://isabelle.in.tum.de/installation.html used to list cygwin as a dependency when it comes bundled with Isabelle... but apparently that's fixed now.
09:24 int-e Ah. If you google "Isabelle Installation" one of the first hits happens to be http://isabelle.in.tum.de/website-Isabelle2011-1/download.html , but I'm not sure there's anything that can be fixed there.
10:23 int-e Maybe have a big red warning at the top that one is looking at an archived version of the website.
11:39 silver joined #isabelle
12:56 dmiles joined #isabelle
13:10 dmiles joined #isabelle
19:57 tokenrove left #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary