]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2008-12-17 Ferruccio Guidiwe started the support for the coercions "alle" and... commit | commitdiff | tree | snapshot
2008-12-17 Enrico Tassifoo overlap commit | commitdiff | tree | snapshot
2008-12-17 Enrico Tassifoo overlap commit | commitdiff | tree | snapshot
2008-12-17 Enrico Tassi.... commit | commitdiff | tree | snapshot
2008-12-16 Ferruccio Guidiwe added the implicit coercion for modus tollens commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassiprevious change was causing divergence commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassihints work better now commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassihints attached commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassiremoved debug code commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassifixed a bug, it used to report o wrong is_normal bit... commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassimake it compile again commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassiwrap object_not_found commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassimove the printing in the right place commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassiauto expansion of \tex macros added as a switch in... commit | commitdiff | tree | snapshot
2008-12-16 Enrico Tassiadded one asser commit | commitdiff | tree | snapshot
2008-12-15 Enrico Tassidep.opt regenerated commit | commitdiff | tree | snapshot
2008-12-15 Enrico Tassiadded unification hints commit | commitdiff | tree | snapshot
2008-12-15 Wilmer RicciottiSome changes to the pullback test, for debugging commit | commitdiff | tree | snapshot
2008-12-15 Wilmer RicciottiFirst attempt to implement unification hints. commit | commitdiff | tree | snapshot
2008-12-15 Enrico Tassiuse named types to force some constraints asap commit | commitdiff | tree | snapshot
2008-12-15 Enrico TassiTo check if a term is type, do a whd of its sort before... commit | commitdiff | tree | snapshot
2008-12-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-15 Enrico Tassiaded some whd, you should be able to declare something... commit | commitdiff | tree | snapshot
2008-12-14 Claudio Sacerdoti... The library is no longer automatically used during... commit | commitdiff | tree | snapshot
2008-12-14 Ferruccio Guidi- improved logging commit | commitdiff | tree | snapshot
2008-12-14 Ferruccio Guidinew kernel basic_ag (with absolute local references) commit | commitdiff | tree | snapshot
2008-12-14 Ferruccio Guidiwe are changing the kernel version from basic_rg to... commit | commitdiff | tree | snapshot
2008-12-14 Ferruccio GuidiautItem : the uris of the objects involved in the impli... commit | commitdiff | tree | snapshot
2008-12-14 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-14 Enrico Tassieureka! match x with [ C gfds fsd fdg fdg fdg fd gfdg... commit | commitdiff | tree | snapshot
2008-12-14 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-12 Ferruccio Guidiimproved type hierarchy management commit | commitdiff | tree | snapshot
2008-12-12 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2008-12-12 Claudio Sacerdoti... A parser (and a scanner) to import "~C" files into... commit | commitdiff | tree | snapshot
2008-12-12 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2008-12-12 Claudio Sacerdoti... 1. new expressions AND, OR, XOR commit | commitdiff | tree | snapshot
2008-12-12 Ferruccio Guidi- basic_rg: architectural bug fix commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassiadded some hardcoded universes, needed to typecheck... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassiadded some messages commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassiadded empty_db, usefull to avoid translating all old... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassiuse new function to clear caches so that objects are... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassibetter error message, functions to clear various caches... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassithanks to the new fixes to notation, I can define ... commit | commitdiff | tree | snapshot
2008-12-12 Enrico Tassipattern matching over Ast.Case simplified: commit | commitdiff | tree | snapshot
2008-12-11 Claudio Sacerdoti... Applications are now processed from left to right. commit | commitdiff | tree | snapshot
2008-12-11 Enrico Tassisupport for mathml mpadded tag added (allows to overlap... commit | commitdiff | tree | snapshot
2008-12-10 Ferruccio Guidi- new semantic log system commit | commitdiff | tree | snapshot
2008-12-09 Ferruccio Guidifirst version of kernel "basic_rg" commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassinew disambiguatio attached with the right universe... commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassiraise uncertain when a sort is not a sort but may be... commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassibetter coercions indexing and lookup commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassibetter max function (instead of @) for combining universes commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassiadded an exception commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassisaturate was not returning the correct (saturated)... commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassifixed notation commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-09 Enrico Tassioption to collapse all tex macros implemented commit | commitdiff | tree | snapshot
2008-12-08 Claudio Sacerdoti... A (boring and long) once-in-a-life exercise on proving... commit | commitdiff | tree | snapshot
2008-12-08 Enrico Tassinon active but almost working implementation of \TeX... commit | commitdiff | tree | snapshot
2008-12-08 Enrico Tassialt-l for not working nymore for \fox where x was in... commit | commitdiff | tree | snapshot
2008-12-08 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-08 Enrico Tassibetter replacement for \\def commit | commitdiff | tree | snapshot
2008-12-08 Enrico Tassi3.5 -> 35 to help crappy latex commit | commitdiff | tree | snapshot
2008-12-07 Claudio Sacerdoti... New exception considered. commit | commitdiff | tree | snapshot
2008-12-07 Claudio Sacerdoti... Bug fixed: every time we form a Prod, we must typecheck... commit | commitdiff | tree | snapshot
2008-12-07 Enrico Tassibetter images commit | commitdiff | tree | snapshot
2008-12-06 Enrico Tassinew concept of virtuals, defined only in the gui that... commit | commitdiff | tree | snapshot
2008-12-06 Ferruccio GuidimetaAut: now we use hash tables properly (processing... commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... new exception captured commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Added new syntax Type[n] where n is a number. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Debugging code removed. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Debugging code removed commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Debugging instructions removed. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Useless code removed. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Useless code removed. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Useless code removed. commit | commitdiff | tree | snapshot
2008-12-05 Claudio Sacerdoti... Case-sensitive fixes. commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassia few missing ~subst added to whd commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassicoercions are there, but not heavily tested commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassiif todo_dom was [] disambiguation was performed twice commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassistill commented, but benchmarks the new/old disambiguti... commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassidisambiguation takes ~mk_localization_tbl and not ... commit | commitdiff | tree | snapshot
2008-12-05 Enrico Tassiraise failure instead of uncertain if two terms are... commit | commitdiff | tree | snapshot
2008-12-04 Enrico TassiFixes: commit | commitdiff | tree | snapshot
2008-12-04 Enrico Tassihousekeeping: commit | commitdiff | tree | snapshot
2008-12-04 Enrico TassiBug fixed: pretty-printing of aliases when the OK butto... commit | commitdiff | tree | snapshot
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status... commit | commitdiff | tree | snapshot
2008-12-03 Ferruccio Guidiimproved interface for brgEnvironment commit | commitdiff | tree | snapshot
2008-12-03 Ferruccio Guidilog facility, initial environment for basic_rg commit | commitdiff | tree | snapshot
2008-12-02 Ferruccio Guidi- we updated some preambles to match that of nUri.ml commit | commitdiff | tree | snapshot
2008-12-02 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassi0.5.6 almost ok commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassi0.5.6 commit | commitdiff | tree | snapshot
2008-12-01 Ferruccio Guidiwe start a kernel for the version "basic with reverse... commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassiall done commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassimore ex and more notation commit | commitdiff | tree | snapshot
2008-12-01 Enrico Tassibetter doc commit | commitdiff | tree | snapshot
2008-12-01 Claudio Sacerdoti... rt.op and check.opt removed from Makefile commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.