]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
mathql_generator: new constraint format (more type safe)
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type...
commit | commitdiff | tree
2003-06-29 Ferruccio Guidimathql_interpreter: natile-galax package removed from...
commit | commitdiff | tree
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets...
commit | commitdiff | tree
2003-06-20 Ferruccio GuidiAuthor specification added in head comments;
 commit | commitdiff | tree
2003-06-19 Ferruccio GuidiMathQL 1.3 ready for use
 commit | commitdiff | tree
2003-05-31 Ferruccio Guidinew syntax for "property" enabled:
 commit | commitdiff | tree
2003-05-28 Ferruccio Guidiextended syntax for add
 commit | commitdiff | tree
2003-05-27 Ferruccio Guidisite updated
 commit | commitdiff | tree
2003-05-22 Ferruccio Guidimathql query generator interface patched
 commit | commitdiff | tree
2003-05-21 Ferruccio Guidipatched
 commit | commitdiff | tree
2003-05-20 Ferruccio GuidiMathQL query generator: new interface
 commit | commitdiff | tree
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidipatch
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidipatch
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidipatch
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidipatch
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidipatch
 commit | commitdiff | tree
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version)
 commit | commitdiff | tree
2003-03-17 Ferruccio Guidifeatures: patched
 commit | commitdiff | tree
2003-03-14 Ferruccio Guidilink patched
 commit | commitdiff | tree
2003-03-14 Ferruccio Guidiadded: features and documentation
 commit | commitdiff | tree
2003-03-13 Ferruccio GuidiMathQL homepage added
 commit | commitdiff | tree
2003-02-05 Ferruccio Guidipackege dependences calculation patched
 commit | commitdiff | tree
2003-02-05 Ferruccio Guidipackage dependences calulation fixed
 commit | commitdiff | tree
2003-02-04 Ferruccio GuidiSQL quoting fixed in relation.ml
 commit | commitdiff | tree
2003-02-03 Ferruccio Guidiold file removed
 commit | commitdiff | tree
2003-02-03 Ferruccio Guidinew interface for text_of_query/text_of_result + bug...
commit | commitdiff | tree
2002-12-13 Ferruccio GuidiMathQL textual lexer patched
 commit | commitdiff | tree
2002-11-26 Ferruccio Guidilexer patched
 commit | commitdiff | tree
2002-11-26 Ferruccio Guididebug output removed
 commit | commitdiff | tree
2002-11-26 Ferruccio GuidiMathQL.ml updated
 commit | commitdiff | tree
2002-11-20 Ferruccio Guidimqint patched (compilation warning removed)
 commit | commitdiff | tree
2002-11-18 Ferruccio Guidigenerator patched for new semantics with structurated...
commit | commitdiff | tree
2002-11-18 Ferruccio Guidistructurated attribute names added
 commit | commitdiff | tree
2002-11-14 Ferruccio Guidireplaced fun with inverse attribute
 commit | commitdiff | tree
2002-11-14 Ferruccio Guidiadded inverse switch for relation and attribute
 commit | commitdiff | tree
2002-10-31 Ferruccio GuidiMQueryGenerator ported to use fun "objectName"
 commit | commitdiff | tree
2002-10-31 Ferruccio Guidisilly debug output removed from stdout
 commit | commitdiff | tree
2002-10-22 Ferruccio Guidimqint.ml patched
 commit | commitdiff | tree
2002-10-22 Ferruccio GuiditopLevel updated to use mqint set_database and get_database
 commit | commitdiff | tree
2002-09-17 Ferruccio Guidinew query generator
 commit | commitdiff | tree
2002-09-13 Ferruccio Guidirestricted mode to use when the database is down :)
 commit | commitdiff | tree
2002-09-13 Ferruccio Guidiquery generator timing feature improved
 commit | commitdiff | tree
2002-09-05 Ferruccio GuidimQueryGenerator and topLevel patched
 commit | commitdiff | tree
2002-09-05 Ferruccio Guidisome small improvements: command line sintax changed...
commit | commitdiff | tree
2002-09-04 Ferruccio Guidiraw HTML markap generator
 commit | commitdiff | tree
2002-09-04 Ferruccio Guiditextual parser fixed
 commit | commitdiff | tree
2002-08-30 Ferruccio Guidiuser name added to tmp file name
 commit | commitdiff | tree
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_interp...
commit | commitdiff | tree
2002-06-22 Ferruccio GuidimathQL and mqint updated
 commit | commitdiff | tree
2002-06-22 Ferruccio Guidited version of mQueryGenerator (was mquery part 2)
 commit | commitdiff | tree
2002-06-22 Ferruccio Guidiuntested version of mQueryGenerator (was mquery part 2)
 commit | commitdiff | tree
2002-06-18 Ferruccio Guidiupdated for the new version of mathQL.ml
 commit | commitdiff | tree
2002-06-18 Ferruccio GuidimathQL.ml updated
 commit | commitdiff | tree
2002-06-13 Ferruccio GuidiMQueryUtil updated
 commit | commitdiff | tree
2002-05-28 Ferruccio Guidinew MathQL syntax
 commit | commitdiff | tree
2002-05-22 Ferruccio Guidiconstant string quoting was fixed
 commit | commitdiff | tree
2002-05-22 Ferruccio Guidimathql package started
 commit | commitdiff | tree
2002-05-22 Ferruccio Guiditextual parser and other utilities for mathql
 commit | commitdiff | tree
2002-05-21 Ferruccio GuidiMQRefs fixed
 commit | commitdiff | tree
2002-05-21 Ferruccio Guidi*** empty log message ***
 commit | commitdiff | tree
2002-05-20 Ferruccio GuidiUpdated semantic notes on <pattern>
 commit | commitdiff | tree
2002-05-20 Ferruccio Guididded semantic notes on <pattern>
 commit | commitdiff | tree
2002-04-30 Ferruccio Guidibasic MathQL support
 commit | commitdiff | tree
2001-10-22 Ferruccio Guiditemplate mk-mml-op-noannot was modified to allow hidden...
commit | commitdiff | tree
2001-04-05 Ferruccio Guidicontentlib.xsl improved, now handles eq eqT
 commit | commitdiff | tree
2001-04-04 Ferruccio Guidifonts for lambda prod and forall enlarged
 commit | commitdiff | tree
2001-04-04 Ferruccio Guidicharacters in symbol font unified in size
 commit | commitdiff | tree
2001-04-03 Ferruccio Guidiabstract polinomials
 commit | commitdiff | tree
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
 commit | commitdiff | tree
2001-03-21 Ferruccio Guidimore notations added
 commit | commitdiff | tree
2001-03-20 Ferruccio Guidibasic notations for arithmetics
 commit | commitdiff | tree
2001-03-20 Ferruccio Guidiadded notation for arithmetics
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.