]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Quick patch to use rdfly (URL hard-coded everywhere).
2004-02-20 Claudio Sacerdoti... Quick patch to use rdfly (URL hard-coded everywhere).
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... Ported to
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... A brand new daemon: rdfly.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... uwobo ==> uwobo.opt
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Stuff moved around.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ENVSCRIPT and mathql_db_map.txt no longer in use.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in...
commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... New key mathql_interpreter.postgresql_connection_string.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... The PostgreSQL connection string has been moved to...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Other stuff no longer used removed.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Several no longer used variables removed.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Reindentation.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt now retrieved by Helm_registry.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt is now retrieved by Helm_registry.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... -linkall removed
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... - ported to Helm_registry
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... searchEngine ported to Helm_registry.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... All daemons are now run in their .opt version.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Any residual reference to tomcat and servlets changed...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... More daemons ported to Helm_registry.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... drawGraph ported to Helm_registry.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... Porting of uriSetQueue to Helm_registry.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... proofChecker ported to Helm_registry
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... - Ported to latest version of Helm_registry
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... - Uwobo ported to Helm_registry
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... Cached moved to /tmp/helm/cache.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... Ported to Helm_registry.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... - Configuration file moved to /projects/helm/etc.
 commit | commitdiff | tree
2004-02-16 Claudio Sacerdoti... - triciclo.conf.xml.sample ported to the latest version...
commit | commitdiff | tree
2004-02-12 Claudio Sacerdoti... libraries-complete.ps:
 commit | commitdiff | tree
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: the internal libraries are now...
commit | commitdiff | tree
2004-02-12 Claudio Sacerdoti... Added new target libraries-complete.ps (with also all...
commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... Example configuration committed.
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... Ported to Http_registry and to HelmLogger.
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... Ported to Helm_registry.
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... - script.sh removed from CVS. script.sh.sample added...
commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... A type checking error report now prints also the metasenv.
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... added target *.opt (e.g. test.opt, librarytest.opt...
commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... - make *opt fixed
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... Big changes:
 commit | commitdiff | tree
2004-02-11 Claudio Sacerdoti... Added copyright notice.
 commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... Explicit Named Substitutions now supported.
 commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... CicCache ==> CicEnvironment (in testlibrary.ml)
 commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... - fixed final log reporting (that was broken by one...
commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... Bug fixed: when an axiom was asked, an exception was...
commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... Only applications whose head was a constant were eta...
commit | commitdiff | tree
2004-02-10 Claudio Sacerdoti... Bug fixed: checking inductive type declarations with...
commit | commitdiff | tree
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object.
 commit | commitdiff | tree
2004-02-09 Claudio Sacerdoti... sort_of_prod now thinks that a "sort metavariable"...
commit | commitdiff | tree
2004-02-09 Claudio Sacerdoti... Added is_closed.
 commit | commitdiff | tree
2004-02-09 Claudio Sacerdoti... eat_prods now uses mk_implicit_type.
 commit | commitdiff | tree
2004-02-07 Claudio Sacerdoti... - Added mk_implicit_sort.
 commit | commitdiff | tree
2004-02-07 Claudio Sacerdoti... Added mk_implicit_sort.
 commit | commitdiff | tree
2004-02-07 Claudio Sacerdoti... A better (but yet not empty) metasenv is now returned.
 commit | commitdiff | tree
2004-02-07 Claudio Sacerdoti... sort_of_prod: the second term, when it is a meta, was...
commit | commitdiff | tree
2004-02-06 Claudio Sacerdoti... sort metavariables are now generated in an empty canonical...
commit | commitdiff | tree
2004-02-06 Claudio Sacerdoti... Comments (notes) removed.
 commit | commitdiff | tree
2004-02-06 Claudio Sacerdoti... Code riorganization.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... NameExpected exception removed. The "identifier" __n...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... Improved error messages.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... No more garbage in the metasenv.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... New target librarytest (to apply testlibrary.opt to...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... sort_of_prod relaxed to accept also Metas (when the...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... - sort_of_prod now returns the second Meta (if it is...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... __n no longer generated.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... "assert false" relaxed to a warning.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... No longer puts anonymous declarations in the canonical...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... - the result of a refinement is now cleared from dummy...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... freshNameGenerator.ml* added
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... dummy dependent types and dummy letins are now removed...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... mk_fresh_name moved to FreshNamesGenerator.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... New test.
 commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... Final answer: the local context MUST be normalized...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... Restrict reimplemented to avoid generating lists of...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... Added a TODO (to catch only the right exceptions instead...
commit | commitdiff | tree
2004-02-05 Claudio Sacerdoti... Bug fixed: the canonical contexts were traversed in...
commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... Rel to hidden hypotheses are now printed as _hidden_n.
 commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... ppterm_in_context exported
 commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... ppcontext (and thus also ppmetasenv) were buggy: the...
commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... Functors must be applied using parentheses around the...
commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... Added newline.
 commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... Bug fixed: restriction of already restricted contexts...
commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... Effects of fixing bugs for other regression tests ;-)
 commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... We no longer apply the subst to a Meta in force_does_not_occ...
commit | commitdiff | tree
2004-02-04 Claudio Sacerdoti... ...
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.