Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-03-16

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

All times shown according to UTC.

Time Nick Message
02:46 daniela joined #isabelle
02:46 daniela left #isabelle
04:57 tpsinnem joined #isabelle
14:09 damaki joined #isabelle
14:21 damaki hi all. I'm completely new to Isabelle/HOL and I'm starting to learn a project that uses it. However, when I try to build this project then it fails when it invokes Isabelle with the following message: "Unknown Isabelle tool: usedir".
14:21 damaki If I just invoke Isabelle with no arguments then it gives me a list of available tools, but "usedir" is not one of them.
14:22 damaki Does anyone know why the "usedir" tool might not be installed?
14:22 damaki My Isabelle version is Isabelle2013-2

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