From c.prodescu at jacobs-university.de Mon Aug 2 13:59:29 2010 From: c.prodescu at jacobs-university.de (Prodescu, Corneliu-Claudiu) Date: Mon, 2 Aug 2010 13:59:29 +0200 Subject: [Hets-devel] Twelf with Hets Message-ID: Hi all, What is the version of twelf-server which is working with hets? I tried with: twelf-1.6beta hets -g KWARC_TWELF_EXAMPLES/logics/propositional/syntax/base.elf and gives an empty graph, probably because twelf/bin/check-some fails generate a proper omdoc (generates an empty omdoc) twelf-1.5R1 hets -g KWARC_TWELF_EXAMPLES/logics/propositional/syntax/base.elf gives hets: Calling Twelf failed with exitCode: 127 on file /twelf/KWARC_TWELF/logics/propositional/syntax/base.elf (this one doesn't even have the check-some script) Best regards, Prode From Christian.Maeder at dfki.de Wed Aug 18 12:53:36 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 18 Aug 2010 12:53:36 +0200 Subject: [Hets-devel] trac will be down for at most one hour Message-ID: <4C6BBBB0.10209@dfki.de> Hi, due to updates our trac server will be down for about 15 minutes. http://trac.informatik.uni-bremen.de:8080/ Apologies for any inconveniences Christian From Christian.Maeder at dfki.de Wed Aug 18 13:42:21 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 18 Aug 2010 13:42:21 +0200 Subject: [Hets-devel] trac will be down for at most one hour In-Reply-To: <4C6BBBB0.10209@dfki.de> References: <4C6BBBB0.10209@dfki.de> Message-ID: <4C6BC71D.3020002@dfki.de> Christian Maeder schrieb: > Hi, > > due to updates our trac server will be down for about 15 minutes. > http://trac.informatik.uni-bremen.de:8080/ Our trac is up again and running, but the update was unsuccessful and needs to be repeated next week. Christian > > Apologies for any inconveniences From Christian.Maeder at dfki.de Thu Aug 19 10:48:29 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 19 Aug 2010 10:48:29 +0200 Subject: [Hets-devel] trac will be down for at most one hour In-Reply-To: <4C6BC71D.3020002@dfki.de> References: <4C6BBBB0.10209@dfki.de> <4C6BC71D.3020002@dfki.de> Message-ID: <4C6CEFDD.4080904@dfki.de> We are going to update trac now! C. Christian Maeder schrieb: > Christian Maeder schrieb: >> Hi, >> >> due to updates our trac server will be down for about 15 minutes. >> http://trac.informatik.uni-bremen.de:8080/ > > Our trac is up again and running, but the update was unsuccessful and > needs to be repeated next week. > > Christian > >> Apologies for any inconveniences From Christian.Maeder at dfki.de Thu Aug 19 11:07:53 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 19 Aug 2010 11:07:53 +0200 Subject: [Hets-devel] trac will be down for at most one hour In-Reply-To: <4C6CEFDD.4080904@dfki.de> References: <4C6BBBB0.10209@dfki.de> <4C6BC71D.3020002@dfki.de> <4C6CEFDD.4080904@dfki.de> Message-ID: <4C6CF469.90202@dfki.de> It's now successfully update to Trac 0.11.7. (Trac 0.12 needs further stabilization) Christian > We are going to update trac now! > > C. > > Christian Maeder schrieb: >> Christian Maeder schrieb: >>> Hi, >>> >>> due to updates our trac server will be down for about 15 minutes. >>> http://trac.informatik.uni-bremen.de:8080/ >> Our trac is up again and running, but the update was unsuccessful and >> needs to be repeated next week. >> >> Christian >> >>> Apologies for any inconveniences > > _______________________________________________ > Hets-devel mailing list > Hets-devel at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-devel >