| 2006-09-27 |
Stefano Zacchiroli | Added generation of dependency graph for the ocaml...
|
commit | commitdiff | tree |
| 2006-09-27 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-09-21 |
Stefano Zacchiroli | added displaying of the dep graph of a development...
|
commit | commitdiff | tree |
| 2006-09-21 |
Stefano Zacchiroli | added generation of the .dot version of development...
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | removed old .cvsignore files
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | ready for 3.09.3 and ocaml.mk
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | binNMU safe setting of debian/*
|
commit | commitdiff | tree |
| 2006-09-14 |
Stefano Zacchiroli | removed useless file in source package
|
commit | commitdiff | tree |
| 2006-09-14 |
Stefano Zacchiroli | new release, binNMU safe
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | ready for the upload
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | added me as an author, better formatting of debian...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | committed the generated version of configure, so that...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | use autotools class so that configure is invoked by...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | bumped version
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | snapshot: first draft of binNMU safe cdbs packaging
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | added detection of native code compilation in "upstream...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | oops: changes should be committed to Makefile.in, not...
|
commit | commitdiff | tree |
| 2006-09-04 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-08-29 |
Stefano Zacchiroli | - bumped year
|
commit | commitdiff | tree |
| 2006-08-22 |
Stefano Zacchiroli | info about where to find LablGtkSourceView now
|
commit | commitdiff | tree |
| 2006-08-22 |
Stefano Zacchiroli | lablgtksourceview is moving to gna, removing the old...
|
commit | commitdiff | tree |
| 2006-08-20 |
Stefano Zacchiroli | touched changelog, ready for a release!
|
commit | commitdiff | tree |
| 2006-08-06 |
Stefano Zacchiroli | bumped gmetadom dependencies to >= 0.2.4
|
commit | commitdiff | tree |
| 2006-08-01 |
Stefano Zacchiroli | - added a label_of_uri function to easily change node...
|
commit | commitdiff | tree |
| 2006-07-26 |
Stefano Zacchiroli | added tinycals to the proof we frequently use for examples...
|
commit | commitdiff | tree |
| 2006-07-26 |
Stefano Zacchiroli | added test for reordering of goals when using the 1...
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | use the new graphviz pretty printer API
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | added missing dependency
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | equality now requires 2 extra parameters
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | removed reference to primes1.ma (now removed)
|
commit | commitdiff | tree |
| 2006-07-20 |
Stefano Zacchiroli | avoid collapsing node that does not need to be, i.e.:
|
commit | commitdiff | tree |
| 2006-07-20 |
Stefano Zacchiroli | bugfix: proper computation of the amount of new node...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | - added to the cicBrowser support for displaying recursive...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | New module to extract from the Db direct and inverse...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | exported position_prefix (so that it can be looked...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | use double quotes around escaped URIs, single quotes...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | - enable header to output graphs attributes and graph...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | - pipe graphviz markup to tred before generating png...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | - added sql statements for querying forward and backward...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | added sets of uri pairs (useful for edges between uris)
|
commit | commitdiff | tree |
| 2006-07-18 |
Stefano Zacchiroli | added split_nth
|
commit | commitdiff | tree |
| 2006-07-18 |
Stefano Zacchiroli | double quotes node identifiers
|
commit | commitdiff | tree |
| 2006-07-18 |
Stefano Zacchiroli | output headers to force utf-8 charset
|
commit | commitdiff | tree |
| 2006-07-18 |
Stefano Zacchiroli | changed colors to match our GtkSourceView settings
|
commit | commitdiff | tree |
| 2006-07-17 |
Stefano Zacchiroli | real life implementation of the highlighting, added css
|
commit | commitdiff | tree |
| 2006-07-17 |
Stefano Zacchiroli | - added format table (enable highlighting of differente...
|
commit | commitdiff | tree |
| 2006-07-14 |
Stefano Zacchiroli | proof of concept implementation of scripts highlighting...
|
commit | commitdiff | tree |
| 2006-07-14 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2006-07-13 |
Stefano Zacchiroli | added $Id$
|
commit | commitdiff | tree |
| 2006-07-13 |
Stefano Zacchiroli | use the graphviz pretty printer to generate graphviz...
|
commit | commitdiff | tree |
| 2006-07-13 |
Stefano Zacchiroli | moved graphviz pretty printer outside matita, so that...
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | use lablGraphviz to render the coercion graph and added...
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | generate dot files with attributes on nodes (instead...
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | added uri_of_carr
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | added pretty printer for dot files (it may need to...
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | fixed the number of columns in the clusters table
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | bugfix: remove all generated temp files
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | added widget for rendering and interacting with graphs...
|
commit | commitdiff | tree |
| 2006-07-12 |
Stefano Zacchiroli | restored the 2 ways of pasting: both "as term" and...
|
commit | commitdiff | tree |
| 2006-07-03 |
Stefano Zacchiroli | when auto_close is set, use flush + shutdown instead...
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | bumped date
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | better wording of a sentence
|
commit | commitdiff | tree |
| 2006-06-14 |
Stefano Zacchiroli | center figures in HTML version of the manual using CSS
|
commit | commitdiff | tree |
| 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 |
| next |
projects / helm.git / search