]> matita.cs.unibo.it Git - helm.git/history - helm/papers
bumped year
[helm.git] / helm / papers /
2006-01-09 Claudio Sacerdoti... New version.
2005-12-23 Stefano Zacchiroliremoved prova
2005-12-23 Stefano Zacchiroliprova
2005-12-19 Stefano Zacchiroliupgraded dependency figures
2005-12-06 Andrea AspertiTypos.
2005-12-06 Andrea AspertiMinor changes.
2005-12-06 Andrea AspertiNaming convention.
2005-12-05 Andrea AspertiMinor changes.
2005-12-05 Andrea AspertiAdded a new section on the logical library.
2005-11-30 Stefano Zacchiroliimproved disambiguation section
2005-11-29 Andrea AspertiAdded a few bibliographic entries.
2005-11-28 Stefano Zacchirolifirst part on disambiguation passes
2005-11-25 Claudio Sacerdoti... ...
2005-11-25 Claudio Sacerdoti... Confronto con Coq.
2005-11-25 Stefano Zacchiroliminor changes
2005-11-25 Stefano Zacchirolilabels
2005-11-25 Claudio Sacerdoti... ...
2005-11-25 Claudio Sacerdoti... ...
2005-11-25 Stefano Zacchirolideps
2005-11-25 Claudio Sacerdoti... More on the presentation.
2005-11-25 Enrico Tassifix
2005-11-25 Stefano Zacchiroliadded missing deps
2005-11-25 Claudio Sacerdoti... ...
2005-11-25 Stefano Zacchirolibuild paper per default
2005-11-25 Stefano Zacchirolidependency graphs
2005-11-25 Stefano Zacchirolinotation intro
2005-11-25 Enrico Tassiadded tinycals and patterns subsections
2005-11-24 Claudio Sacerdoti... ...
2005-11-24 Claudio Sacerdoti... Da capo (matita2.tex).
2005-11-23 Claudio Sacerdoti... More on accessibility.
2005-11-18 Enrico Tassisome more on tinycals
2005-11-18 Enrico Tassiadded more on tinycals
2005-11-18 Claudio Sacerdoti... ...
2005-11-17 Enrico Tassiaded a prototype of chtting aboit tacticals
2005-11-17 Stefano Zacchirolifilled disambiguation algorithm section
2005-11-17 Enrico Tassimatita.tex
2005-11-17 Stefano Zacchirolifollowed kluwer guidelines
2005-11-17 Claudio Sacerdoti... Inizio stesura parte su "libreria tutta visibile".
2005-11-17 Stefano Zacchiroliported to kluwer style
2005-11-17 Enrico Tassifixed some stuff in the patterns section
2005-11-17 Enrico Tassifixed some stuff in pattern section
2005-11-16 Enrico Tassiadded first draft for patterns
2005-11-16 Stefano Zacchirolisnapshot
2005-11-16 Stefano Zacchiroli- begin{grafite} environment for script snippets
2005-11-16 Stefano Zacchiroliignore bibtex litter
2005-11-15 Stefano Zacchiroliadded content level ref
2005-11-15 Stefano Zacchiroli- draft of the first part of disambiguation subsection
2005-11-15 Stefano Zacchirolicic concrete syntax (w/o notation)
2005-11-15 Stefano Zacchirolitex macros, checked in disambiguation section from...
2005-11-14 Andrea AspertiIntroduction, again.:
2005-11-14 Andrea AspertiIntroduction (partial).
2005-11-14 Andrea AspertiIntroduction.
2005-11-11 Enrico Tassiadded an example of reduction of R' and some comments...
2005-11-11 Andrea AspertiDefinition of system T.
2005-11-10 Stefano Zacchirolipaper skeleton
2005-11-10 Andrea AspertiSeveral changes.
2005-11-10 Andrea AspertiA couple more of references.
2005-11-10 Andrea Aspertitypos
2005-11-10 Stefano Zacchiroliadded Makefile, llncs style, cvsignore
2005-11-10 Andrea AspertiHeadings of the matita paper.
2005-11-10 Andrea AspertiExtended bibliography.
2005-11-09 Andrea AspertiAdded an example (well founded recursion).
2005-11-08 Enrico Tassifix
2005-11-08 Enrico Tassifixed inductive types demonstrations
2005-11-08 Andrea AspertiTypos.
2005-11-08 Enrico Tassiadded some stuff on inductive types
2005-11-07 Andrea AspertiFirst draft of the introduction.
2005-10-24 Andrea AspertiMinor fixings.
2005-10-24 Andrea AspertiTentative title.
2005-10-17 Andrea AspertiAdded basic bibliography.
2005-10-13 Enrico Tassiadded few proofs
2005-10-12 Enrico Tassifew more cases
2005-10-11 Enrico Tassiadded few cases
2005-10-11 Enrico Tassifixed some typos
2005-10-11 Andrea Aspertirealizability for the induction principle.
2005-10-10 Andrea AspertiFirst draft.
2005-10-10 Andrea AspertiEmpty directory.
2004-11-23 Luca Padovani* several adjustments after introduction of the depth...
2004-11-23 Luca Padovani* validation scripts
2004-11-23 Luca Padovani* basic infrastructure for collecting statistics
2004-11-22 Stefano Zacchiroliadded parse test for
2004-11-09 Luca Padovani* compressed statistics committed
2004-11-09 Stefano Zacchiroli- split compound fields
2004-11-09 Luca Padovani* snapshot
2004-11-09 Andrea AspertiAggiunta l'introduzione alla prima sezione:.
2004-11-09 Luca Padovani* output of XML file size
2004-11-09 Luca Padovani* fix bug detect blank nodes
2004-11-09 Luca Padovani* added stylesheet to render the results
2004-11-09 Luca Padovani* depths now in hash table
2004-11-09 Luca Padovani* snapshot
2004-11-08 Luca Padovani* added a few calculations
2004-11-08 Luca Padovani* added .cc program (and equivalent .xsl stylesheet...
2004-11-08 Andrea AspertiFirst draft (introduction).
2004-03-14 Stefano Zacchiroliadded final version of the paper (for the records)
2004-03-14 Stefano Zacchirolitalk committed
2003-09-05 Stefano Zacchirolireplaced with my generic latex makefile
2003-07-15 Claudio Sacerdoti... Camera ready.
2003-07-15 Stefano Zacchirolimerged CSC's typos squashing
2003-07-15 Stefano Zacchirolifixed "s" typos
2003-07-14 Claudio Sacerdoti... Towards the camera ready.
next