cofi-tools Mail Archives 1999

• Thread Index

• New Release of HOL-CASL parser and checker
  99/11/18 -- Till Mossakowski
• Paper "CASL: From Semantics to Tools"
  99/11/02 -- Till Mossakowski
• What's new?
  99/10/30 -- Helene.Kirchner
• Re: URGENT - IMPORTANT - ANSWER NOW !!!
  99/10/02 -- Helene.Kirchner
• Minutes of the Bonas meeting
  99/10/02 -- Helene.Kirchner
• Re: Compilation units
  99/07/27 -- Till Mossakowski
• Re: Compilation units
  99/07/27 -- bkb
• Compilation units
  99/07/23 -- Frederic Voisin
• New release of HOL-CASL parser
  99/07/20 -- Till Mossakowski
• Problems and questions about CASL concrete syntax
  99/07/14 -- Axel Schairer
• Re: Axel's Problems [long and technical]
  99/07/13 -- Frederic Voisin
• Re: Problems and questions about CASL concrete syntax
  99/07/13 -- Till Mossakowski
• Problems and questions about CASL concrete syntax
  99/07/13 -- Peter Mosses
• Re: Remaining Syntax Issues and Revised literal syntax
  99/07/13 -- Frederic Voisin
• IT sales effectiveness
  99/07/07 -- cole
• New Tools note
  99/06/26 -- Helene.Kirchner
• Re: JAVA a-term library
  99/06/21 -- Mark van den Brand
• JAVA a-term library
  99/06/21 -- Donald Baillie
• Large account business....
  99/05/27 -- drcoles
• RE: IT sales training. (time sensitive)
  99/05/21 -- stonef
• NEW IT sales program
  99/05/12 -- stonef
• Minutes of the Amsterdam meeting
  99/04/02 -- Helene.Kirchner
• P.S.: New release of parser
  99/03/22 -- kol
• New release of parser
  99/03/19 -- Till Mossakowski
• Two points
  99/03/15 -- Helene.Kirchner
• [CoFI] Agenda of the Language Design Task Group Meeting
  99/03/10 -- bkb
• Next CoFI meeting in Amsterdam
  99/03/04 -- Helene.Kirchner
• Next CoFI meeting in Amsterdam
  99/02/12 -- Helene.Kirchner
• list of participants
  99/02/10 -- Helene.Kirchner
• Maude 1.00 Release
  99/01/29 -- Jose Meseguer
• Research position, University of Bremen, Germany
  99/01/21 -- bkb
• Scanning of SIGNS
  99/01/13 -- Mark van den Brand
• Scanning of SIGNS
  99/01/13 -- Till Mossakowski
• Disambiguation of formulae
  99/01/12 -- Till Mossakowski
• Re: Lexical analysis
  99/01/02 -- Peter Mosses
• Syntax of URL and PATH
  99/01/02 -- Peter Mosses