Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-02-02

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #isabelle
02:47 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:13 wagle_ joined #isabelle
11:29 juls joined #isabelle
11:39 silver joined #isabelle
15:57 chindy joined #isabelle
15:59 chindy i cant seem to be able to import Multivariate_Analysis, and it seems like i dont have it included in /src/HOL/Multivariate_Analysis/Multivariate_Analysis
15:59 chindy any ideas
15:59 chindy on where to get it from or why this may be
16:05 larsrh chindy: in Isabelle2016-1 it is just "Analysis"
16:14 chindy larsrh, ahh thx
16:16 pruvisto yup, that's my fault
16:16 pruvisto seeing has most of it actually has nothing to do with /multivariate/ analysis, I lobbied for it to be renamed
16:16 pruvisto *as
16:28 ammbauer pruvisto: in the next isabelle release i want "imports Math"
17:19 chindy imports 42

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