Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-01-31

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

All times shown according to UTC.

Time Nick Message
01:53 LordBrain joined #isabelle
01:54 LordBrain Hello, I was trying to start up Isabelle2014 for the first time, and it ran out of disk space while it was seemingly compiling bunches of theory files. I have since resized the partition, but Isabelle always quits with an I/O error now.
01:55 LordBrain Is anyone knowledgeable enough to help me, clean up whatever was done, so i can start the process over?
02:33 LordBrain Do i have recourse, other than complete reinstall?
06:59 pyon joined #isabelle
08:59 eng500 joined #isabelle
11:18 bitraten joined #isabelle
11:46 bitraten joined #isabelle
13:06 lrabiet joined #isabelle
14:41 mal`` joined #isabelle
15:16 mal`` joined #isabelle
16:14 eng500 joined #isabelle
17:01 mal`` joined #isabelle
17:27 LordBrain joined #isabelle
21:41 pyon joined #isabelle
23:28 eng500 joined #isabelle

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