]>
2002-11-22 | Stefano Zacchiroli | - added var SEARCH_ENGINE_PORT | blob | commitdiff | raw |
2002-11-20 | Stefano Zacchiroli | added env var DRAW_GRAPH_DIR | blob | commitdiff | raw | diff to current |
2002-10-31 | Claudio Sacerdoti... | New version of the library added. | blob | commitdiff | raw | diff to current |
2002-10-25 | Claudio Sacerdoti... | proof-checker ported to the mowgli version | blob | commitdiff | raw | diff to current |
2002-10-08 | Claudio Sacerdoti... | URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added | blob | commitdiff | raw | diff to current |
2002-10-07 | Claudio Sacerdoti... | - New environment variables set. | blob | commitdiff | raw | diff to current |
2002-10-07 | Claudio Sacerdoti... | Initial revision | blob | commitdiff | raw | diff to current |