Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-02-28

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

All times shown according to UTC.

Time Nick Message
08:08 ilbot3 joined #divine
11:15 ilbot3 joined #divine
11:15 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:39 ilbot3 joined #divine
11:39 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:51 ilbot3 joined #divine
11:51 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:59 xstill joined #divine
18:05 xstill mornfall: založil jsem prázdný git repo kvůli issue trackeru na https://crocsgit.fi.muni.cz/ParaDiSe/DIVINE/, zkus se tam přihlásit, až budeš mít aktivní účet tak tě přihodím abys mohl zapisovat
18:05 xstill přihlášení je na úvodní stránce přes sign in with shibboleth (učo + sekundární heslo)

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