matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2005-10-02	Luca Padovani	* added well-formedness rules for level 2 patterns	commit \| commitdiff \| tree
2005-10-01	Luca Padovani	* added pattern matching of level 2 terms	commit \| commitdiff \| tree
2005-09-29	Luca Padovani	* required for the blob icon	commit \| commitdiff \| tree
2005-09-29	Luca Padovani	* added concrete syntax for level 2	commit \| commitdiff \| tree
2005-09-29	Luca Padovani	* snapshot	commit \| commitdiff \| tree
2005-09-29	Luca Padovani	* required for texing it	commit \| commitdiff \| tree
2005-09-29	Luca Padovani	+ well-formedness of level 1 patterns	commit \| commitdiff \| tree
2005-09-28	Luca Padovani	* first version of the specification	commit \| commitdiff \| tree
2005-07-14	Luca Padovani	* added group box (?)	commit \| commitdiff \| tree
2005-07-12	Luca Padovani	snapshot	commit \| commitdiff \| tree
2005-07-11	Luca Padovani	* implemented unless	commit \| commitdiff \| tree
2005-07-11	Luca Padovani	* added backtracking in matching code (hairy code!)	commit \| commitdiff \| tree
2005-07-11	Luca Padovani	* various bug fix related to the environment returned...	commit \| commitdiff \| tree
2005-06-07	Luca Padovani	* generate list elements in correct order	commit \| commitdiff \| tree
2005-06-06	Luca Padovani	* update	commit \| commitdiff \| tree
2005-06-06	Luca Padovani	* more to do	commit \| commitdiff \| tree
2005-06-05	Luca Padovani	* added todo file	commit \| commitdiff \| tree
2004-11-23	Luca Padovani	* several adjustments after introduction of the depth...	commit \| commitdiff \| tree
2004-11-23	Luca Padovani	* validation scripts	commit \| commitdiff \| tree
2004-11-23	Luca Padovani	* basic infrastructure for collecting statistics	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* compressed statistics committed	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* output of XML file size	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* fix bug detect blank nodes	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* added stylesheet to render the results	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* depths now in hash table	commit \| commitdiff \| tree
2004-11-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree
2004-11-08	Luca Padovani	* added a few calculations	commit \| commitdiff \| tree
2004-11-08	Luca Padovani	* added .cc program (and equivalent .xsl stylesheet...	commit \| commitdiff \| tree
2004-11-02	Luca Padovani	* substitution are not rendered by default, an action...	commit \| commitdiff \| tree
2004-09-28	Luca Padovani	* minor correction to make the new mathml widget work...	commit \| commitdiff \| tree
2004-09-28	Luca Padovani	* the transformations have been ported so to generate...	commit \| commitdiff \| tree
2004-09-27	Luca Padovani	* removed PREDICATES	commit \| commitdiff \| tree
2004-09-14	Luca Padovani	* the click signal now acts on both maction (MathML...	commit \| commitdiff \| tree
2004-07-31	Luca Padovani	* porting to gtkmathview 0.6.3	commit \| commitdiff \| tree
2004-07-30	Luca Padovani	* fixed bug of multiple selections	commit \| commitdiff \| tree
2004-07-27	Luca Padovani	* update to version 0.6.4 of the widget	commit \| commitdiff \| tree
2004-07-15	Luca Padovani	* split evil let definition (ic, oc) = ... into two...	commit \| commitdiff \| tree
2004-05-28	Luca Padovani	* makeProofTreeURL ported to the new interface	commit \| commitdiff \| tree
2004-05-27	Luca Padovani	* it is now possible to set multiple parameters upon...	commit \| commitdiff \| tree
2004-05-27	Luca Padovani	* setpassword passwords swapped	commit \| commitdiff \| tree
2004-05-27	Luca Padovani	* implemented setparams method for setting multiple...	commit \| commitdiff \| tree
2004-05-26	Luca Padovani	* getparams returns annotated pairs key,values	commit \| commitdiff \| tree
2004-05-26	Luca Padovani	* bumped to new version	commit \| commitdiff \| tree
2004-05-26	Luca Padovani	* added external documentation in tex format	commit \| commitdiff \| tree
2004-05-25	Luca Padovani	##################################################...	commit \| commitdiff \| tree
2004-05-25	Luca Padovani	New: UWOBO profiles added.	commit \| commitdiff \| tree
2004-05-24	Luca Padovani	* setprofileparam ==> setparam	commit \| commitdiff \| tree
2004-05-22	Luca Padovani	* preliminary version of profile management	commit \| commitdiff \| tree
2004-05-22	Luca Padovani	* updated respond_error messages after API change in...	commit \| commitdiff \| tree
2004-05-20	Luca Padovani	* hbugs moved in ocaml	commit \| commitdiff \| tree
2004-03-25	Luca Padovani	* the .o files to be used in the dll are now taken...	commit \| commitdiff \| tree
2004-03-24	Luca Padovani	* added embedding test (HTML)	commit \| commitdiff \| tree
2004-03-24	Luca Padovani	* added TODO file	commit \| commitdiff \| tree
2004-03-23	Luca Padovani	* added test with MathML really embedded within HTML	commit \| commitdiff \| tree
2004-03-23	Luca Padovani	* implemented click so that the browser is notified...	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* update for 0.0.5	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* cleanup	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* fix so that ocamlmklib works	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* removed debian dir from EXTRA_DIST var	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* using non-diffing mathml factory	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* updated the updating method so that the root element...	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* added wrapper element around processed document	commit \| commitdiff \| tree
2004-02-21	Luca Padovani	* fixed profiling flags	commit \| commitdiff \| tree
2003-12-19	Luca Padovani	* removed email address	commit \| commitdiff \| tree
2003-11-07	Luca Padovani	* debugging messages and dumpes commented out	commit \| commitdiff \| tree
2003-11-04	Luca Padovani	* first upgrade to the new error logging mechanism	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* removed dependency from liblablgtk-ocaml{,-dev}	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* added profiling options	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* temporarily removed hbugs dependency	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* updated for gtk2	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* updated for gtk2	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* this implements the new instantiation for gtkmathview	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* GEdit -> GText	commit \| commitdiff \| tree
2003-10-29	Luca Padovani	* variant types changed for selection mode	commit \| commitdiff \| tree
2003-10-21	Luca Padovani	* fixed O_S variable for ocamlmklib on hppa arch	commit \| commitdiff \| tree
2003-10-21	Luca Padovani	* first version of the profile manager committed	commit \| commitdiff \| tree
2003-10-18	Luca Padovani	* added timer for profiling the editor	commit \| commitdiff \| tree
2003-10-17	Luca Padovani	* added daemon	commit \| commitdiff \| tree
2003-10-17	Luca Padovani	* oo interface	commit \| commitdiff \| tree
2003-10-17	Luca Padovani	* first files added to cvs	commit \| commitdiff \| tree
2003-10-08	Luca Padovani	* snapshot for gtk2	commit \| commitdiff \| tree
2003-10-07	Luca Padovani	* added new .ml files to be ignored	commit \| commitdiff \| tree
2003-10-07	Luca Padovani	* lablgtk -> lablgtk2	commit \| commitdiff \| tree
2003-10-07	Luca Padovani	* removed debugging Printfs'	commit \| commitdiff \| tree
2003-10-07	Luca Padovani	* removed currified constructors everywhere. A bug...	commit \| commitdiff \| tree
2003-10-06	Luca Padovani	* minor fix	commit \| commitdiff \| tree
2003-10-06	Luca Padovani	* removed spec file	commit \| commitdiff \| tree
2003-10-06	Luca Padovani	* upgrade to lablgtk2	commit \| commitdiff \| tree
2003-10-06	Luca Padovani	* checking for lablgtk2	commit \| commitdiff \| tree
2003-10-06	Luca Padovani	* update dependency: lablgtk -> lablgtk2	commit \| commitdiff \| tree
2003-10-05	Luca Padovani	* added popup menu, implemented some functions	commit \| commitdiff \| tree
2003-10-04	Luca Padovani	* changed version in configure.ac	commit \| commitdiff \| tree
2003-10-03	Luca Padovani	* further code cleanup	commit \| commitdiff \| tree
2003-10-03	Luca Padovani	* updated #include directives	commit \| commitdiff \| tree
2003-09-26	Luca Padovani	* the regular expressions must have $ otherwise the...	commit \| commitdiff \| tree
2003-09-13	Luca Padovani	* small fixes for distribution	commit \| commitdiff \| tree
2003-09-13	Luca Padovani	* fixed dependency on gtkmathview 0.5.1	commit \| commitdiff \| tree
2003-09-13	Luca Padovani	* added licence to IDL file	commit \| commitdiff \| tree
2003-09-13	Luca Padovani	* some code cleanup	commit \| commitdiff \| tree
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom