2 Feb 19:09Christoph LANGE
*Nonconservative extensions [Re: Relative Interpretations in COLORE]
2 Feb 19:29eugenk
**Nonconservative extensions [Re: Relative Interpretations in COLORE]
2 Feb 18:28Christoph LANGE
*Using HetCASL for COLORE 2.0
3 Feb 10:58Till Mossakowski
**Using HetCASL for COLORE 2.0
3 Feb 12:15Christoph LANGE
***Using HetCASL for COLORE 2.0
23 Jan 12:03Christoph LANGE
*[CL] Announcing 'Hets for Common Logic Users' guide; your feedback app
21 Jan 13:07Christoph LANGE
*Several minor inconsistencies in COLORE
21 Jan 15:42Michael Gruninger
**Several minor inconsistencies in COLORE
25 Jan 16:36Michael Gruninger
**Several minor inconsistencies in COLORE
20 Jan 17:50Christoph LANGE
*How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous
20 Jan 20:38Till Mossakowski
**How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous
21 Jan 02:39Christoph LANGE
***How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous
18 Jan 19:38Christoph LANGE
*Minor revisions to Hets for CL users
18 Jan 19:57Till Mossakowski
**Minor revisions to Hets for CL users
12 Aug 15:42Lutz Schröder
*[Hets] #171: sublogics based on theories?
21 Apr 15:20Christian Maeder
*hets-0.98 released
18 Aug 12:53Christian Maeder
*trac will be down for at most one hour
18 Aug 13:42Christian Maeder
**trac will be down for at most one hour
19 Aug 10:48Christian Maeder
***trac will be down for at most one hour
19 Aug 11:07Christian Maeder
****trac will be down for at most one hour
2 Aug 13:59Prodescu, Corneliu-Claudiu
*Twelf with Hets
29 Jul 10:32Christian Maeder
*milestone 0.97
7 Jul 10:20Dominik Luecke
*[Hets] #815: Ubuntu package Hets-Ontology
7 Jul 10:18Dominik Luecke
*[Hets] #815: Ubuntu package Hets-Ontology
29 Jun 17:51Till Mossakowski
*[Hets] #66: implement static analysis of refinements
13 May 13:35Till Mossakowski
*Re-licensing Hets under GPL
30 Apr 14:02Christian Maeder
*hets-0.95 released
12 Mar 13:01Christian Maeder
*haskell sources
9 Mar 18:57Florian Rabe
*Commutative diagrams in Hets graph
27 Jan 14:39Christian Maeder
*Isabelle 2009(-1)
8 Jan 12:31Till Mossakowski
*Priorities of tickets
17 Jun 15:37Christian Maeder
*uDrawGraph for Intel-Mac OS X 10.5 (Leopard)
19 May 11:40Dominik Luecke
*CASL/CCC/FreeTypes.hs is broken
28 Apr 16:18Christian Maeder
*hets-2009-04-28-installer
20 Apr 14:56Christian Maeder
*breaking too long lines
6 Apr 11:43Till Mossakowski
*Lecture about Institutions, Categories and Hets
31 Mar 13:42Christian Maeder
*hets-0.93 released
26 Mar 12:32Christian Maeder
*release 0.93 preparation
26 Mar 12:49Till Mossakowski
**release 0.93 preparation
26 Mar 13:39Christian Maeder
***release 0.93 preparation
19 Mar 09:45Christian Maeder
*Compiling Hets
18 Mar 18:58Christian Maeder
*[Hets-users] Compiling Hets
16 Mar 13:15Christian Maeder
*[Hets-users] Using Hets with Isabelle
16 Mar 12:00Christian Maeder
*[Hets-users] Problems with existential equations
16 Mar 13:20Michael Chan
**[Hets-users] Problems with existential equations
16 Mar 13:29Christian Maeder
***[Hets-users] Problems with existential equations
16 Mar 13:47dayzman
****[Hets-users] Problems with existential equations
12 Jan 15:16Christian Maeder
*hlint
5 Dec 17:35Christian Maeder
*Shellac-patch
7 Nov 16:17Temesghen Kahsai
*Hets strange error
7 Nov 17:39Christian Maeder
**[Hets-users] Hets strange error
28 Nov 00:42Dominik Luecke
*Java code for OWL support
28 Nov 10:18Till Mossakowski
**Java code for OWL support
28 Nov 14:26Dominik Luecke
***Java code for OWL support
21 Nov 13:04Christian Maeder
*Shellac for ghc-6.10
3 Dec 06:09Rob Dockins
**Shellac for ghc-6.10
14 Nov 15:58Dominik Luecke
*Announcing support for Pellet 2
12 Nov 12:21Christian Maeder
*[Fwd: trac Server ab 12:00 Uhr nicht verfügbar]
12 Nov 10:47Christian Maeder
*[Fwd: trac Server ab 12:00 Uhr nicht verfügbar]
16 Oct 11:50Christian Maeder
*trac email notifications
2 Oct 20:37Christian Maeder
*hets-0.9 released
8 Sep 14:54Christian Maeder
*GTK Glade
1 Aug 14:40Christian Maeder
*code format
18 Jun 17:07Christian Maeder
*package update
6 Jun 17:16Christian Maeder
*emacs code for haskell mode
28 May 11:11Christian Maeder
*consistency checks
23 Apr 09:54Christian Maeder
*Mac OS + SVN
16 Apr 15:08Lutz Schroeder
*[Hets] #447: Binder syntax for HasCASL
16 Apr 14:05Lutz Schroeder
*sequential composition
11 Apr 13:15Christian Maeder
*hets-0.85 released
3 Apr 14:08Till Mossakowski
*New logics in Hets
3 Apr 13:07Christian Maeder
*test (please ignore)
3 Apr 12:53Immanuel Normann
*Where is the CaslDL lib?
3 Apr 15:19Till Mossakowski
**Where is the CaslDL lib?
3 Apr 11:35Christian Maeder
*test
2 Apr 17:16Christian Maeder
*uni/davinci
11 Apr 13:21Christian Maeder
**uni for hets
2 Apr 16:51Christian Maeder
*uni/davinci
2 Apr 16:48Christian Maeder
*uni/davinci
25 Mar 13:23Glauber Cabral
*About equality and instance declarations
25 Mar 14:48Christian Maeder
**About equality and instance declarations
17 Mar 16:23Liam O'Reilly
*CASL translation to IsabelleHOL
17 Mar 17:38Christian Maeder
**CASL translation to IsabelleHOL
17 Mar 16:48Christian Maeder
**CASL translation to IsabelleHOL
14 Mar 14:12Christian Maeder
*Hets Meeting Tuesday 18th afternoon (Bremen only)
10 Mar 15:06Glauber Cabral
*About typing error
10 Mar 16:01Christian Maeder
**About typing error
11 Mar 11:18Christian Maeder
**About typing error
11 Mar 15:17Glauber Cabral
***About typing error
11 Mar 16:42Glauber Cabral
****About typing error
11 Mar 17:11Christian Maeder
*****About typing error
25 Mar 12:20Glauber Cabral
******About typing error
25 Mar 13:15Till Mossakowski
*******About typing error
25 Mar 13:55Glauber Cabral
********About typing error
25 Mar 17:09Till Mossakowski
*********About typing error
6 Mar 20:01Glauber Cabral
*Error when importing String library
6 Mar 20:53Till Mossakowski
**Error when importing String library
7 Mar 00:56Glauber Cabral
***Error when importing String library
6 Mar 20:43Christian Maeder
**Error when importing String library
5 Mar 12:36Andy Gimblett
*Hets web-based interface: frequency of builds?