| 2003-02-20 |
Stefano Zacchiroli | added TacticChaser module to emebed functions which...
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | defined an explicit "status" type
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | moved mquery generation stuff in a new module
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | - added HBugs support
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | - added HBugs notification after tactic application
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | - added dependencies on hbugs-client, threads, helm...
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | moved mquery generation in ../ocaml/mquery_generator/
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | - added and exposed get_current_status_as_xml
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | - moved exception IllFormedUri, string_of_cic_textual_parser...
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | fixed references to functions moved from Misc to MQueryMisc
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | added HBugs interface module for gTopLevel
|
commit | commitdiff | tree |
| 2003-02-20 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2003-02-19 |
Stefano Zacchiroli | removed tmp_dir no longer needed (it was used only...
|
commit | commitdiff | tree |
| 2003-02-19 |
Stefano Zacchiroli | bugfix: use temporary file name to avoid file access...
|
commit | commitdiff | tree |
| 2003-02-19 |
Stefano Zacchiroli | - added pp_to_outchan and pp_to_string for other medium...
|
commit | commitdiff | tree |
| 2003-01-28 |
Stefano Zacchiroli | added META for module helm-tactics
|
commit | commitdiff | tree |
| 2003-01-28 |
Stefano Zacchiroli | moved tactics from gTopLevel to the new module ocaml...
|
commit | commitdiff | tree |
| 2003-01-28 |
Stefano Zacchiroli | moved tactics in ocaml/tactics
|
commit | commitdiff | tree |
| 2003-01-21 |
Stefano Zacchiroli | bugfix while printing MutInd and MutConstruct unresolved...
|
commit | commitdiff | tree |
| 2003-01-21 |
Stefano Zacchiroli | added html templates and pages
|
commit | commitdiff | tree |
| 2003-01-21 |
Stefano Zacchiroli | - disambiguation implemented!
|
commit | commitdiff | tree |
| 2003-01-21 |
Stefano Zacchiroli | - added references to gTopLevel needed modules
|
commit | commitdiff | tree |
| 2003-01-05 |
Stefano Zacchiroli | typo: ')' mismatch
|
commit | commitdiff | tree |
| 2002-12-04 |
Stefano Zacchiroli | - reverted to only one quotation level for xmluri,...
|
commit | commitdiff | tree |
| 2002-12-02 |
Stefano Zacchiroli | - added a level of quoting on xmluri parameter because...
|
commit | commitdiff | tree |
| 2002-11-27 |
Stefano Zacchiroli | patched Makefile to link also ../gTopLevel/mQueryLevels...
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - use 'query_of_text' to parse textual queries
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - catch processing exception which are now reported...
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - first (draft) version of searchEngine
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | name fixes due to changes in libhttp-ocaml (e.g. s...
|
commit | commitdiff | tree |
| 2002-11-13 |
Stefano Zacchiroli | switched to OCaml HTTP module
|
commit | commitdiff | tree |
| 2002-11-12 |
Stefano Zacchiroli | symlink automagically cicReduction.ml if it doesn't...
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | debian release -3
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | debian version "-8"
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | forward compatibility changes for ocaml 3.06
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | Added examples.
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | converted to unix textfile (fromdos)
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | bugfix: Ring will work again with varmaps :-)
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | - added Ring tactic on reals
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | bugfix that inhibit the removal of certain hypotheses
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | bug fix: handled LetIn case in simpl
|
commit | commitdiff | tree |
| 2002-06-24 |
Stefano Zacchiroli | added comment about 0 and 1 based indexes
|
commit | commitdiff | tree |
| 2002-06-22 |
Stefano Zacchiroli | bug fix: wrapped some possible List.{hd,tl} failures...
|
commit | commitdiff | tree |
| 2002-05-14 |
Stefano Zacchiroli | Erroniously included (is a debian build process temp...
|
commit | commitdiff | tree |
| 2002-05-14 |
Stefano Zacchiroli | Release 0.1.0-1 of the deb package.
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | added debian stuff and a makefile with "dist" target
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | changed name to gdome2-xslt
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | - added -fPIC when creating .so
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | changed package name to gdome2-xslt
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | cma names parameterized in configure @PACKAGE@ variable
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | -7 debian release, hopefully build also on HPPA
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | added -fPIC option when compiling ml_gtk_mathview.o
|
commit | commitdiff | tree |
| 2002-04-02 |
Stefano Zacchiroli | Added Build-Depends on t1lib-dev
|
commit | commitdiff | tree |
| 2002-04-01 |
Stefano Zacchiroli | Added build-depend on libgdome2-cpp-smart-dev.
|
commit | commitdiff | tree |
| 2002-03-31 |
Stefano Zacchiroli | - added some .mli and .ml to the debian package
|
commit | commitdiff | tree |
| 2002-03-26 |
Stefano Zacchiroli | - Increased debian version to 0.3.0-3
|
commit | commitdiff | tree |
| 2002-03-15 |
Stefano Zacchiroli | Added build dep on libgdome2-dev
|
commit | commitdiff | tree |
| 2002-03-13 |
Stefano Zacchiroli | Debian changes for version 0.3.0 of lablgtkmathview.
|
commit | commitdiff | tree |
| 2002-01-21 |
Stefano Zacchiroli | Bug fix: destdir for mlminidom installation is now...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | - Vanity: added .... me to the copyright file as author :-P
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | - Minor fix: includes upstream changelog only if it...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Added "-destdir" argument to "ocamlfind install" in...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Ported to ocaml 3.04 (fixed problems with commuting...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Upgraded debian package for mlminidom 0.2.2
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Readme for the debianize.helm stuff.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Debianize.helm stuff.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Synced debian dir.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Removed from debian dir.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Synced debian dir.
|
commit | commitdiff | tree |
| 2001-11-19 |
Stefano Zacchiroli | Changed version number to 0.2.1
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Bug fix: changed "prefix" dir in install target.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Changed policy standard version.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Removed INSTALL (not needed) and NEWS (0 sized) from...
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Remove template like string that lintian hates.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Set DH_COMPAT=2 (instead of 1).
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Set section field. Changed maintainer field.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Changed maintainer field and set section field.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Removed temp files from repository.
|
commit | commitdiff | tree |
| 2001-11-12 |
Stefano Zacchiroli | - modified /getxslt method, now stylesheets are downloaded...
|
commit | commitdiff | tree |
| 2001-11-12 |
Stefano Zacchiroli | Added ".db" suffix to urls_of_uris default value.
|
commit | commitdiff | tree |
| 2001-11-11 |
Stefano Zacchiroli | Added "/getempty" method.
|
commit | commitdiff | tree |
| 2001-10-17 |
Stefano Zacchiroli | Makefile.in that support some new architectures.
|
commit | commitdiff | tree |
| 2001-06-27 |
Stefano Zacchiroli | added support for new environment variables
|
commit | commitdiff | tree |
| 2001-06-27 |
Stefano Zacchiroli | # bugfix: rdf tie that proxies rdf_urls_of_uris.db...
|
commit | commitdiff | tree |
| 2001-06-26 |
Stefano Zacchiroli | added useful tools for perl debugging:
|
commit | commitdiff | tree |
| 2001-06-26 |
Stefano Zacchiroli | * added preliminary support for rdf metadata
|
commit | commitdiff | tree |
| 2001-03-20 |
Stefano Zacchiroli | - added support for file ls (i.e. you can use a baseuri...
|
commit | commitdiff | tree |
| 2001-03-17 |
Stefano Zacchiroli | Added support for CGI handling, still remain some problems...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | - renamed /getciconly in /getxml
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Changed default content type from "text/plain" to ...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Various changes:
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Added "format" support to /getciconly method.
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | ehm ... no comment
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Fixed a bug in the case cachemode=gzipped, resourcetype...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Fixed bug in .ann extension handling.
|
commit | commitdiff | tree |
| 2001-03-10 |
Stefano Zacchiroli | Added dtd reference in ls method while generating xml...
|
commit | commitdiff | tree |
| 2001-03-06 |
Stefano Zacchiroli | Added ordering in ann and types flags
|
commit | commitdiff | tree |
| 2001-03-05 |
Stefano Zacchiroli | new version of ls,
|
commit | commitdiff | tree |
| 2001-03-05 |
Stefano Zacchiroli | Fixed a bug in CGI creation, method "update" now work...
|
commit | commitdiff | tree |
| 2001-02-22 |
Stefano Zacchiroli | Changed syntax for 'ls' method:
|
commit | commitdiff | tree |
| next |
projects / helm.git / search