| 2005-06-08 |
Stefano Zacchiroli | rewritten cicBrowser handling of uri text entry, still...
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | added icons to entries shown in cicbrowser so that...
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | snapshot (minor changes)
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | implemented attributes pretty printing
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | handles "elimCProp" value for class attribute
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | added object attributes
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | added integration entry
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | snapshort
|
commit | commitdiff | tree |
| 2005-06-06 |
Stefano Zacchiroli | - set monospace buffer using modify_font widget method
|
commit | commitdiff | tree |
| 2005-06-04 |
Stefano Zacchiroli | snapshot (first version with working pattern matching...
|
commit | commitdiff | tree |
| 2005-06-04 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (added typed environment in 2 -> 1 conversion)
|
commit | commitdiff | tree |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (first working implementation of parttern...
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (ported to new "typed" ids_to_inner_sort table)
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | Changed type of ids_to_inner_sort table used in transformation.
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (first version with [apparently] working mappings...
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (the thing on the doorstep)
|
commit | commitdiff | tree |
| 2005-05-30 |
Stefano Zacchiroli | added uri_of_term
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | - commented out no longer needed macros Redo, Undo...
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | fixed otags invocation
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | commented out no longer needed macros Redo, Undo, Abort
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | added %.annot rule to create type annotation files
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | refactored modules structure
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | * fold left/right implemented
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-26 |
Stefano Zacchiroli | fixed issue with explicit named substitutions
|
commit | commitdiff | tree |
| 2005-05-26 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-25 |
Stefano Zacchiroli | multiple bindings inside OPT supported
|
commit | commitdiff | tree |
| 2005-05-25 |
Stefano Zacchiroli | bugfix: "match" now works also when no type is provided...
|
commit | commitdiff | tree |
| 2005-05-25 |
Stefano Zacchiroli | let rec example
|
commit | commitdiff | tree |
| 2005-05-25 |
Stefano Zacchiroli | snapshot (first version in which some extensions work...
|
commit | commitdiff | tree |
| 2005-05-25 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-24 |
Stefano Zacchiroli | clean typo
|
commit | commitdiff | tree |
| 2005-05-23 |
Stefano Zacchiroli | added rule to generate camlp4 expansion of cicNotationParser...
|
commit | commitdiff | tree |
| 2005-05-23 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-23 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-22 |
Stefano Zacchiroli | switched to cdbs for debian/rules (now 2 lines long...
|
commit | commitdiff | tree |
| 2005-05-19 |
Stefano Zacchiroli | commented out some debugging messages
|
commit | commitdiff | tree |
| 2005-05-19 |
Stefano Zacchiroli | connected instance to the web search engine
|
commit | commitdiff | tree |
| 2005-05-19 |
Stefano Zacchiroli | changed debugging code which saves xml input document...
|
commit | commitdiff | tree |
| 2005-05-19 |
Stefano Zacchiroli | - die on CTRL-C or init.d/... stop instead of resurrecting
|
commit | commitdiff | tree |
| 2005-05-19 |
Stefano Zacchiroli | unified grammars and lexers in a single one
|
commit | commitdiff | tree |
| 2005-05-18 |
Stefano Zacchiroli | snapshot (implemented level 3 grammar)
|
commit | commitdiff | tree |
| 2005-05-18 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | first check-in of cic_notation
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | cosmetic changes
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | bugfix: avoid duplicate entries while indexing (changed...
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | - cathes more Mysql errors which could happen during...
|
commit | commitdiff | tree |
| 2005-05-17 |
Stefano Zacchiroli | bugfix in elim, cardinality constraint should >= 1...
|
commit | commitdiff | tree |
| 2005-05-16 |
Stefano Zacchiroli | - no longer needs PXP
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | added support for hits table
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | added list and fill actions
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | sync script among databases
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | support hits table
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | sql for filling hits table
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | added hits table
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | added "all" table meaning "act on all tables"
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | fixed
|
commit | commitdiff | tree |
| 2005-05-13 |
Stefano Zacchiroli | - ported to new ocaml-http API
|
commit | commitdiff | tree |
| 2005-05-12 |
Stefano Zacchiroli | fixed Makefile
|
commit | commitdiff | tree |
| 2005-05-12 |
Stefano Zacchiroli | fixed a TODO comment (MUTCASE _is_ implemented)
|
commit | commitdiff | tree |
| 2005-05-12 |
Stefano Zacchiroli | handling of variables with body
|
commit | commitdiff | tree |
| 2005-05-11 |
Stefano Zacchiroli | handle XmlPushParser.Parse_error exception
|
commit | commitdiff | tree |
| 2005-05-11 |
Stefano Zacchiroli | added Parse_error exception and pretty printing of...
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | more detailed info about peon's problems
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | ignores test and test.opt
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | - changes defaults of getxml (format gzipped, don't...
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | moved up xml, now needed by CicParser
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | make use of gzipped type and body
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | moved xmlPushParser in ocaml/xml/ since it does not...
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | made optional dependency on thread library and compile...
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | added dep on expat
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | ocaml/ todo list
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | moved here xmlPushParser.ml and corresponding test
|
commit | commitdiff | tree |
| 2005-05-10 |
Stefano Zacchiroli | added 'tags' target (which index both matita/ and ocaml...
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | - ported to new CicParser interface which requires...
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | added "tags" target to generate vim tags with otags
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | added test and test.opt targets
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | - implemented CicPushParser which parser CIC objects...
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | - added .cvsignore
|
commit | commitdiff | tree |
| 2005-05-05 |
Stefano Zacchiroli | added .depend
|
commit | commitdiff | tree |
| 2005-04-29 |
Stefano Zacchiroli | fix (ask Enrico :-)
|
commit | commitdiff | tree |
| 2005-04-29 |
Stefano Zacchiroli | uses CicUniv new assertions
|
commit | commitdiff | tree |
| 2005-04-29 |
Stefano Zacchiroli | added assertions about graph in the environment having...
|
commit | commitdiff | tree |
| 2005-04-29 |
Stefano Zacchiroli | added rating parameter to at_least (used by elim)
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | renamed hbugs hint costructors to match latest API
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | bugfix: patched .ml.in instaned of .ml :-(
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | checked in new version of matita from svn
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | removed all matita files
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | removed all old matita files (kept in attic)
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | ported to svn-cvs merge
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | merged changes from the svn fork by me and Enrico
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | make also in utilities on whatever target
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | cvsignore
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | removed ancient cic_textual_parser (last live version...
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | added re-hash-consing of URIs embedded in universes
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | getter with in memory tree of URIs
|
commit | commitdiff | tree |
| 2005-04-27 |
Stefano Zacchiroli | better checks on elim input, two conditions are now...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search