| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| clips_improved_build.diff | Build system for CLIPS Add a build system for CLIPS following best practices. This patch provides an autoconf script, a config.h header and a Makefile that makes it possible to build CLIPS in different environments. . |
Javier Fernndez-Sanguino Pea <jfs@debian.org> | no | 2017-10-16 | ||
| clips_examples.diff | Examples for CLIPS Provides examples to be run in the CLIPS interpreter of different . Examples where downloaded from the CLIPS web page and are available at https://sourceforge.net/projects/clipsrules/files/CLIPS/ . |
Javier Fernández-Sanguino Peña <jfs@debian.org> | no | 2017-10-17 | ||
| clips_docs.diff | CLIPS Documentation Provides the documentation of the CLIPS system provided by upstream in a separate ZIP file from the source code. . Includes also a mechanism to convert PDF files to HTML files. . PDF documents where downloaded from https://sourceforge.net/projects/clipsrules/files/CLIPS/ . |
Javier Fernández-Sanguino Peña <jfs@debian.org> | no | 2017-10-16 |