]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-02-08 Claudio Sacerdoti... Nicer index for tactics in Yelp.
2006-02-08 Stefano Zacchiroliported to the docbook "book"
2006-02-08 Claudio Sacerdoti... Strange fix (for a yelp bug?)
2006-02-08 Claudio Sacerdoti... From article to book
2006-02-08 Stefano Zacchirolicomment out an incomplete proof
2006-02-08 Claudio Sacerdoti... More tactics documented.
2006-02-08 Claudio Sacerdoti... Several more tactics documented.
2006-02-08 Claudio Sacerdoti... Never implemented tactics compare and decide equality...
2006-02-08 Stefano Zacchiroliadded title to sliced htmls
2006-02-08 Stefano Zacchiroliadded pretty printing of generated xml files via xmllin...
2006-02-08 Stefano Zacchiroliadded generation of .html and .txt version of manual...
2006-02-08 Stefano Zacchiroli- removed old commented code
2006-02-08 Claudio Sacerdoti... Help for the first two tactics.
2006-02-08 Stefano Zacchiroliadded splitting engine for .html generated by docbook...
2006-02-08 Stefano Zacchirolino more dummy names for building the library in distrib...
2006-02-07 Stefano Zacchiroli"sec_" prefix for section IDs
2006-02-07 Claudio Sacerdoti... Added a few basic definitions of subgroups and left...
2006-02-07 Stefano Zacchiroliadded instructions (some gaps still to be filled in...
2006-02-07 Stefano Zacchiroliwritten install section up to build requirements
2006-02-07 Stefano Zacchirolichanged location of version.txt
2006-02-07 Stefano Zacchiroliadded dir for released matita tarballs
2006-02-07 Stefano Zacchiroli- moved version.txt.in to the help dir
2006-02-07 Stefano Zacchirolireshaped manual
2006-02-07 Stefano Zacchiroli- use the best matitamake to build the library on dist
2006-02-07 Stefano Zacchirolifill DISTRIBUTED value on dist
2006-02-07 Stefano Zacchiroliremoved useless grepping -v
2006-02-07 Stefano Zacchiroli- factorization of the recursive rule
2006-02-07 Stefano Zacchiroliadded configure time values SRCROOT and DISTRIBUTED
2006-02-07 Stefano Zacchirolifactorization of the recursive rule
2006-02-06 Stefano Zacchiroliadded Matitamake interface
2006-02-06 Stefano Zacchiroliadded last-modified info at the bottom of every page
2006-02-06 Stefano Zacchiroli- escaped "&" in URLs so that all pages are now XHTML...
2006-02-06 Stefano Zacchiroliremoved papers dir, now all papers are in the new ...
2006-02-06 Stefano Zacchiroliremoved papers that have been moved to the new "papers...
2006-02-06 Stefano Zacchiroliabsolute path and factorization for matita.basedir
2006-02-06 Stefano Zacchiroli- changed semantics of "init": now it is idempotent
2006-02-06 Stefano Zacchiroliuse matita.verbosity instead of matita.quiet
2006-02-06 Stefano Zacchiroli- uniformed command line handling of matitamake with...
2006-02-06 Stefano Zacchirolihelp path is no longer hard coded but relative to runti...
2006-02-06 Stefano Zacchirolifixed tactic ids to include a "tac_" prefix
2006-02-06 Stefano Zacchiroli- bugfix: pass -conffile to matitamake
2006-02-06 Claudio Sacerdoti... Basic facts about group morphisms.
2006-02-06 Stefano Zacchirolimoved mathql/ under software/
2006-02-06 Claudio Sacerdoti... first sketch of the documentation (to be used by yelp)
2006-02-06 Stefano Zacchirolis/ocaml/components/ in the "tag" target
2006-02-06 Claudio Sacerdoti... * groups splitted into groups and finite_groups
2006-02-06 Claudio Sacerdoti... removed a Pcre capture that being _NON TAIL RECURSIVE_...
2006-02-06 Andrea Aspertitermine bacato.
2006-02-06 Andrea Aspertifixed usage of matita.auto_disambiguation
2006-02-06 Andrea AspertiBug?
2006-02-03 Claudio Sacerdoti... First proof on groups completed!
2006-02-03 Stefano Zacchirolifixed download links and added underlined hyperlinks
2006-02-03 Stefano Zacchirolion the fly generation of distribution configure.ac
2006-02-03 Enrico Tassiadded bg
2006-02-03 Enrico Tassifix
2006-02-03 Stefano Zacchiroliremoved no longer needed libs link
2006-02-03 Andrea AspertiAdded abstract.
2006-02-03 Stefano Zacchiroliported to the new svn architecture
2006-02-03 Stefano Zacchiroli- no longer need to dynamically discover if the compone...
2006-02-03 Stefano Zacchirolimoved (dummy) dist stuff into software/matita/
2006-02-03 Stefano Zacchirolimoved toplevel makefile to sfotware/
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/
2006-02-03 Stefano Zacchiroliremoved no longer used METAs
2006-02-03 Stefano Zacchirolido not delete Makefile and Makefile.common on distclean...
2006-02-03 Stefano Zacchirolimade "dtd_dir" optional, is needed only by the web...
2006-02-03 Stefano Zacchiroliadded build time configuration of the whole components...
2006-02-03 Stefano Zacchirolibugfix: mkdir now works also for realtive directories
2006-02-03 Stefano Zacchirolirelease snapshot
2006-02-03 Stefano Zacchirolirelease snapshot
2006-02-03 Andrea Aspertisnapshot
2006-02-03 Andrea AspertiModified lambda and explicit substitutions.
2006-02-03 Stefano Zacchirolicosmetic fix
2006-02-03 Stefano Zacchiroliadded DBHOST & co ...
2006-02-03 Stefano Zacchirolidefault of auto_disambiguation set to true
2006-02-03 Claudio Sacerdoti... svn:ignore updated
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroliuse server-side include
2006-02-02 Stefano Zacchiroliadded images and links for validation
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Stefano Zacchirolia further step toward releasable Makefile
2006-02-02 Claudio Sacerdoti... Some more work...
2006-02-02 Stefano Zacchirolireorganization continues ...
2006-02-02 Stefano Zacchiroli(dis)organized web stuff
2006-02-02 Stefano Zacchirolidaemons tamed
2006-02-02 Stefano Zacchirolidir reorganization
2006-02-02 Stefano Zacchirolimoved some old stuff to the history
2006-02-02 Stefano Zacchiroliremoved "tilde_expand" hack: for the moment it is not...
2006-02-02 Stefano Zacchiroliremoved no longer used coq_notation_script from API
2006-02-02 Stefano Zacchiroliadded fallback to environment variables when a key...
2006-02-02 Stefano Zacchirolirelease work snapshot ...
2006-02-02 Stefano Zacchiroliadded meta targets all, opt, ...
2006-02-02 Stefano Zacchirolisnapshot
2006-02-02 Stefano Zacchirolino longer ignore Makefile.defs
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both...
2006-02-02 Stefano Zacchiroliworking on the release ... la la la
2006-02-02 Enrico Tassimore style fixes
2006-02-02 Claudio Sacerdoti... No longer valid comment removed.
2006-02-02 Stefano Zacchiroli- "ocaml/" -> "libs/" in the distribution
next