Email Archive: dlvhex-devel (read-only)

2008:
 Jan
(2) 		Feb
(6) 		Mar
    		Apr
    		May
    		Jun
(4) 		Jul
(3) 		Aug
(5) 		Sep
    		Oct
    		Nov
    		Dec
   
2010:
 Jan
    		Feb
    		Mar
    		Apr
(2) 		May
    		Jun
(2) 		Jul
(2) 		Aug
    		Sep
(9) 		Oct
(1) 		Nov
    		Dec
   
2011:
 Jan
    		Feb
    		Mar
    		Apr
    		May
    		Jun
(6) 		Jul
    		Aug
(1) 		Sep
(1) 		Oct
    		Nov
    		Dec
   
2012:
 Jan
    		Feb
    		Mar
(3) 		Apr
    		May
    		Jun
    		Jul
    		Aug
(2) 		Sep
    		Oct
    		Nov
    		Dec
(7)
2013:
 Jan
    		Feb
    		Mar
    		Apr
(2) 		May
    		Jun
    		Jul
    		Aug
    		Sep
    		Oct
    		Nov
    		Dec
   
Topic Topic Starter Thread
Posts		 Last Post
  Re: [dlvhex-devel] dlplugin in dlvhex2 Christoph Redl <credl86@gm...> 2 2013-04-05 20:48
  Re: [dlvhex-devel] Cyclic dependency due to function symbols in DLV Ankesh <ankesh@gm...> 5 2012-12-20 23:10
  Re: [dlvhex-devel] syntax for HEX? Peter Schueller <schueller.p@gm...> 2 2012-12-19 07:44
  Re: [dlvhex-devel] Transition Sourceforge Subversion to GitHub git Thomas Krennwallner <tkren@kr...> 2 2012-08-13 14:44
  Re: [dlvhex-devel] ASP, Logic Programming, and the Google Summer of Code Guohui Xiao <xiao@kr...> 2 2012-03-20 14:17
  [dlvhex-devel] Release of dlvhex 2.0.0 and 1.7.3 Peter Schueller <ps@kr...> 1 2012-03-12 11:51
  Re: [dlvhex-devel] SVN upgrade maintenance Thomas Krennwallner <tkren@kr...> 2 2011-09-01 07:29
  Re: [dlvhex-devel] dlvhex-sparql plugin sourcecode lorena <lorenae@fi...> 6 2011-06-07 14:30
  [dlvhex-devel] DLVHEX 1.7.2 out now Thomas Krennwallner <tkren@kr...> 1 2010-10-10 22:22
  Re: [dlvhex-devel] Some problem about ASP slover Doraemon <jinyifan@gm...> 3 2010-09-14 08:27
  Re: [dlvhex-devel] some problem about dl-plugin Doraemon <jinyifan@gm...> 3 2010-09-12 00:47
  Re: [dlvhex-devel] problem when using acthex Doraemon <jinyifan@gm...> 3 2010-09-10 02:32
  [dlvhex-devel] DLVHEX 1.7.1 + Ubuntu DEBs fresh from the oven Thomas Krennwallner <tkren@kr...> 1 2010-07-18 18:38
  [dlvhex-devel] Next steps, nightly builds and developer information Thomas Krennwallner <tkren@kr...> 1 2010-07-14 06:17
  [dlvhex-devel] DLVHEX 1.7.0 released Thomas Krennwallner <tkren@kr...> 1 2010-06-22 15:49
  [dlvhex-devel] Upcoming dlvhex release 1.7.0 and dlvhex 2.0.0 sneak preview Thomas Krennwallner <tkren@kr...> 1 2010-06-15 06:50
  [dlvhex-devel] New developer howto Thomas Krennwallner <tkren@kr...> 1 2010-04-24 07:44
  [dlvhex-devel] API changes & external atom caching Thomas Krennwallner <tkren@kr...> 1 2010-04-16 07:51
  Re: [dlvhex-devel] turning off dlv/dlvdb optimizations... Thomas Krennwallner <tkren@kr...> 2 2008-08-27 12:33
  Re: [dlvhex-devel] interplay dlvhex/dlvdb... "bug" report Thomas Krennwallner <tkren@kr...> 3 2008-08-08 08:27
  Re: [dlvhex-devel] [Fwd: DLVHEX] Axel Polleres <axel.polleres@de...> 2 2008-07-18 10:58
  [dlvhex-devel] dlvhex-sparql and dlvhex-rdf development moved to Sourceforge Thomas Krennwallner <tkren@kr...> 1 2008-07-04 14:35
  [dlvhex-devel] dlvhex-sparql, -rdf, ... development moved to Sourceforge Thomas Krennwallner <tkren@kr...> 1 2008-06-30 11:03
  Re: [dlvhex-devel] dlvhex-devel Digest, Vol 3, Issue 1 Giovambattista Ianni <ianni@ma...> 2 2008-06-25 06:25
  [dlvhex-devel] New dlvhex website Thomas Krennwallner <tkren@kr...> 1 2008-06-24 14:43
    Next Messages