Index 
Welcome
Search

Info.
Personal
Publications
Presentations
Ph.D. thesis
References
Teaching
Tutoring
Conferences
RDT

Ptidej
Introduction
Reengineering
Modification
Analysis
Detection
Demo
Download

Caffeine
Introduction
Download

PatternsBox
Introduction
Download

Eclipse
Prolog
Claire
Ptidej

LaTeX
Bibex
Multilingual.bst
Vertical Line

Private
Conferences
Shared files
Pictures
Downloads

    
Visits for this page:
5823
Since 07/09/20

Valid HTML 4.01!
   Plug-ins Download 
You can download the JIProlog plug-in, the Claire plug-in, and the Ptidej plug-in for Eclipse by clicking the link in the following tables.

14 Oct 03JIProlog plug-in, build 003.zip

14 Oct 03Claire plug-in, build 002.zip

27 Oct 03Ptidej plug-in, build 004.zip
27 Oct 03Ptidej progress and bug report.pdf