[01:36:14] *** Quits: annaaerinteenbot (~annaaerin@c83-248-143-133.bredband.comhem.se) (Ping timeout: 260 seconds) [01:37:10] *** Quits: daherb (~daherb@c83-248-143-133.bredband.comhem.se) (Ping timeout: 260 seconds) [01:59:12] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 250 seconds) [09:39:37] *** Joins: spectre (~fran@static-213-115-255-107.sme.bredbandsbolaget.se) [09:48:04] *** Quits: spectre (~fran@static-213-115-255-107.sme.bredbandsbolaget.se) (Ping timeout: 250 seconds) [09:53:20] *** Joins: spectre (~fran@static-213-115-255-107.sme.bredbandsbolaget.se) [11:08:46] *** Joins: RandomNickname (~textual@tb151a.studby.ntnu.no) [11:14:24] Hi, I think I haven't properly understood how to import what I want from the resource library. [11:14:51] For example, now the top of my concrete grammar looks like this: open GrammarEng, SyntaxEng, ParadigmsEng, ConstructionEng, SymbolEng, SymbolEng, Prelude... [11:15:24] But sometimes I don't get what I want by adding the name of the file containing the function I want to use [11:15:26] *** Quits: spectre (~fran@static-213-115-255-107.sme.bredbandsbolaget.se) (Ping timeout: 240 seconds) [11:16:59] Same when I write i -retain SomeFile1.gfo. Sometimes "cc functionThatIsInSomeFile1" and sometimes it doesn't. [11:17:24] *** Joins: spectre (~fran@213.115.255.107) [11:17:26] Does anyone have an idea of what I could be doing wrong or a description of what I should do? [11:22:50] *** Quits: spectre (~fran@213.115.255.107) (Ping timeout: 272 seconds) [11:28:46] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-orbwrdufmsdyeasm) (Ping timeout: 240 seconds) [11:39:25] *** Quits: RandomNickname (~textual@tb151a.studby.ntnu.no) (Quit: Textual IRC Client: www.textualapp.com) [11:45:32] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-mmaldkxzltxqlyqh) [12:32:32] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [12:53:48] Is the path in your concrete syntax file correct? [14:30:06] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds) [14:37:32] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [17:01:58] *** Joins: daherb (~daherb@c83-248-143-133.bredband.comhem.se) [19:07:55] *** Joins: Gurkenglas_ (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [19:10:26] *** Joins: doppioslash_ (sid76291@gateway/web/irccloud.com/x-cncfviehxebwqkbv) [19:12:15] *** Joins: daherb_ (~daherb@c83-248-143-133.bredband.comhem.se) [19:13:27] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-mmaldkxzltxqlyqh) (Ping timeout: 240 seconds) [19:13:28] *** Quits: daherb (~daherb@c83-248-143-133.bredband.comhem.se) (Ping timeout: 240 seconds) [19:13:28] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [19:15:14] *** doppioslash_ is now known as doppioslash [19:21:55] *** Joins: BobL (25fa5326@gateway/web/freenode/ip.37.250.83.38) [20:25:36] *** Quits: BobL (25fa5326@gateway/web/freenode/ip.37.250.83.38) (Ping timeout: 252 seconds) [20:33:53] *** Quits: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) (*.net *.split) [20:33:54] *** Quits: Flammie (~flammie@80.111.32.7) (*.net *.split) [20:34:17] *** Joins: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) [20:34:17] *** Joins: Flammie (~flammie@80.111.32.7) [20:45:56] *** Joins: spectei (~fran@78-72-232-108-no141.business.telia.com) [20:45:56] *** Quits: spectei (~fran@78-72-232-108-no141.business.telia.com) (Changing host) [20:45:56] *** Joins: spectei (~fran@unaffiliated/spectie) [21:37:26] *** Joins: BobL (25fa5326@gateway/web/freenode/ip.37.250.83.38) [21:47:00] *** Joins: Michal56 (53187dbb@gateway/web/freenode/ip.83.24.125.187) [21:47:07] *** Parts: Michal56 (53187dbb@gateway/web/freenode/ip.83.24.125.187) () [22:12:51] *** Quits: BobL (25fa5326@gateway/web/freenode/ip.37.250.83.38) (Ping timeout: 252 seconds) [22:16:26] *** Joins: annaaerinteenbot (~annaaerin@c83-248-143-133.bredband.comhem.se) [22:18:00] *** Quits: esg (~emil@esg.xen.prgmr.com) (Ping timeout: 244 seconds) [22:19:02] *** Joins: esg (~emil@esg.xen.prgmr.com)