| 2006-06-14 |
Stefano Zacchiroli | changed install target so that figures are instaled...
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | fixed bad spellend "stantard"
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | removed old ignore lines about matita.conf.xml.ROLE
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | Enrico: bugfix, remove depend.errors upon destroy
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | removed old debugging print
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | cosmetic: better placement of news box
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | - added news section
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | added mention of the two mailing lists we have
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | download.shtml is now valid xhtml 1.0 strict
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | bumped date
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | new path for XSLT sytlesheets
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | typo: titleabbrev stuff should not be bold
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | added generation of quick reference card of tactic...
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | - distributed matitaGeneratedGui.ml (needed)
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | generate gui code upon distribution
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | distribute more stuff
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | reordered author list
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | use the install target of the manual
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | updated some distributed stuff
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | recursive invocation of distr_pre
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | filled README, BUGS, and other files useful for the...
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | moved benchmnarks/ dir outside of components/
|
commit | commitdiff | tree |
| 2006-06-13 |
Stefano Zacchiroli | aligned matita logo to the left
|
commit | commitdiff | tree |
| 2006-06-12 |
Stefano Zacchiroli | added shortcut targets
|
commit | commitdiff | tree |
| 2006-06-12 |
Stefano Zacchiroli | added dummy <entry /> to make yelp happy
|
commit | commitdiff | tree |
| 2006-06-12 |
Stefano Zacchiroli | - better formatting/factorization of tables used for...
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | added support for displaying the list of papers related...
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | added reference to the online version of the manual
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | added deps, create target dir if missing
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | ignore generated stuff
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | tiny version of the logo
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | keeping the generated manual on svn is overkilling
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | generate deps on the fly
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | removed overkilling info for our manual
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | consistent naming of the calculus
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | css stylesheets for the on-line manual
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | factorized legal stuff like other chapters
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | manual regenerated
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | first generation of manual from docbook
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | added automatic generation of the manual
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | yet another screenshot
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | added screenshots describing matita features
|
commit | commitdiff | tree |
| 2006-06-10 |
Stefano Zacchiroli | - all final shtml are now well formed XML documents
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | wording
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | - added a real-life index page
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | rewored website layout and internal structure:
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | scaled down
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | scaled down
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | added small version of the matita logo
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | reworked css and html structure, continuing offline ...
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | moved matita-bugs.ong -> matita-medium.png
|
commit | commitdiff | tree |
| 2006-06-09 |
Stefano Zacchiroli | added css and image for bugzilla
|
commit | commitdiff | tree |
| 2006-06-08 |
Stefano Zacchiroli | the Matita manual is now convertible to a decent .tex...
|
commit | commitdiff | tree |
| 2006-06-07 |
Stefano Zacchiroli | added "dumb" test target
|
commit | commitdiff | tree |
| 2006-06-07 |
Stefano Zacchiroli | Attempt to make our markup respect the docbook specification...
|
commit | commitdiff | tree |
| 2006-06-05 |
Stefano Zacchiroli | bug fixed in doc
|
commit | commitdiff | tree |
| 2006-06-01 |
Stefano Zacchiroli | implemented tinycals:
|
commit | commitdiff | tree |
| 2006-06-01 |
Stefano Zacchiroli | commented the finally function
|
commit | commitdiff | tree |
| 2006-06-01 |
Stefano Zacchiroli | use the appropriate chain of transormations for pretty...
|
commit | commitdiff | tree |
| 2006-06-01 |
Stefano Zacchiroli | made pp_term parametric and explained the proper way...
|
commit | commitdiff | tree |
| 2006-06-01 |
Stefano Zacchiroli | bugfix: rely on byte count instead of mixing byte and...
|
commit | commitdiff | tree |
| 2006-05-30 |
Stefano Zacchiroli | bugfix: when creating a daemon spec _use_ the auto_close...
|
commit | commitdiff | tree |
| 2006-05-29 |
Stefano Zacchiroli | - removed Http_daemon.{start,start\}
|
commit | commitdiff | tree |
| 2006-05-29 |
Stefano Zacchiroli | added finally function
|
commit | commitdiff | tree |
| 2006-05-29 |
Stefano Zacchiroli | forces bash as Makefile SHELL
|
commit | commitdiff | tree |
| 2006-05-29 |
Stefano Zacchiroli | OCAMLPATH is no longer overrid if already set in current...
|
commit | commitdiff | tree |
| 2006-05-29 |
Stefano Zacchiroli | added (TODO) section on tacticals)
|
commit | commitdiff | tree |
| 2006-05-17 |
Stefano Zacchiroli | ported to ocaml 3.09.2
|
commit | commitdiff | tree |
| 2006-05-17 |
Stefano Zacchiroli | ported to ocaml 3.09.2
|
commit | commitdiff | tree |
| 2006-05-17 |
Stefano Zacchiroli | ported to ocaml 3.09.2
|
commit | commitdiff | tree |
| 2006-05-16 |
Stefano Zacchiroli | do not export .svn directories
|
commit | commitdiff | tree |
| 2006-05-16 |
Stefano Zacchiroli | transition to ocaml 3.09.2
|
commit | commitdiff | tree |
| 2006-05-14 |
Stefano Zacchiroli | better way of generating multiple pages XHTML output
|
commit | commitdiff | tree |
| 2006-05-14 |
Stefano Zacchiroli | added a couple of points
|
commit | commitdiff | tree |
| 2006-05-14 |
Stefano Zacchiroli | todo list about doc
|
commit | commitdiff | tree |
| 2006-03-24 |
Stefano Zacchiroli | ignoring test_library{,.opt}
|
commit | commitdiff | tree |
| 2006-03-21 |
Stefano Zacchiroli | removed mention of the "library" target, no longer...
|
commit | commitdiff | tree |
| 2006-03-21 |
Stefano Zacchiroli | mock-up code for tactics contextual menu in the gui
|
commit | commitdiff | tree |
| 2006-03-08 |
Stefano Zacchiroli | use the statusbar to display hyperlink targets
|
commit | commitdiff | tree |
| 2006-03-07 |
Stefano Zacchiroli | hand-like cursor when the cursor is on an href in a...
|
commit | commitdiff | tree |
| 2006-03-07 |
Stefano Zacchiroli | - added an hack to load sequents viewer's mathml from...
|
commit | commitdiff | tree |
| 2006-02-24 |
Stefano Zacchiroli | Use reference counting to keep track of camlp4 extensions...
|
commit | commitdiff | tree |
| 2006-02-24 |
Stefano Zacchiroli | added a generic (yet rather trivial) module for reference...
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | bugfix: use utf8-aware substring function
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | added "gragrep", grep-like tool over a bunch of grafite...
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | added capability to specify externally extra command...
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | Added module GrafiteWalker, which implements traversals...
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | factorized an ast_statement type which is (now) used...
|
commit | commitdiff | tree |
| 2006-02-23 |
Stefano Zacchiroli | - added src_root build time configuration value
|
commit | commitdiff | tree |
| 2006-02-22 |
Stefano Zacchiroli | improved comment of HExtlib.find
|
commit | commitdiff | tree |
| 2006-02-22 |
Stefano Zacchiroli | - ensure simplify_deps exists when invoked
|
commit | commitdiff | tree |
| 2006-02-22 |
Stefano Zacchiroli | moved initial (i.e. empty) lexiconEngine status to...
|
commit | commitdiff | tree |
| 2006-02-22 |
Stefano Zacchiroli | changed structure of the generated utf8MacroTable.ml...
|
commit | commitdiff | tree |
| 2006-02-14 |
Stefano Zacchiroli | added info on how to create the dumps
|
commit | commitdiff | tree |
| 2006-02-14 |
Stefano Zacchiroli | added snapshot of the coq exportation metadata
|
commit | commitdiff | tree |
| 2006-02-09 |
Stefano Zacchiroli | completed installation instructions
|
commit | commitdiff | tree |
| 2006-02-08 |
Stefano Zacchiroli | implemented "install" target
|
commit | commitdiff | tree |
| 2006-02-08 |
Stefano Zacchiroli | build temporary library in software/matita/.matita...
|
commit | commitdiff | tree |
| 2006-02-08 |
Stefano Zacchiroli | removed duplicate copy of AUTHORS
|
commit | commitdiff | tree |
| 2006-02-08 |
Stefano Zacchiroli | install in /usr/local/matita/
|
commit | commitdiff | tree |
| next |
projects / helm.git / search