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

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

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
2003-09-12	Luca Padovani	* using the clipboard to communicate the id of the...	commit \| commitdiff \| tree
2003-09-10	Luca Padovani	* completed implementation of View interface	commit \| commitdiff \| tree
2003-09-09	Luca Padovani	* prototypes for auxiliary C++ functions	commit \| commitdiff \| tree
2003-09-09	Luca Padovani	* advanced implementation of View interface	commit \| commitdiff \| tree
2003-09-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree
2003-09-09	Luca Padovani	* exceptionset -> exception_set	commit \| commitdiff \| tree
2003-09-08	Luca Padovani	* update	commit \| commitdiff \| tree
2003-09-08	Luca Padovani	* code cleanup	commit \| commitdiff \| tree
2003-09-08	Luca Padovani	* IDL file update (and renamed)	commit \| commitdiff \| tree
2003-09-04	Luca Padovani	* update with some candidate methods	commit \| commitdiff \| tree
2003-09-04	Luca Padovani	* added test View interface. It is basically empty...	commit \| commitdiff \| tree
2003-08-01	Luca Padovani	* removed wrong unref	commit \| commitdiff \| tree
2003-08-01	Luca Padovani	* added test .html file for mozilla plugin	commit \| commitdiff \| tree
2003-08-01	Luca Padovani	* a few adjustments and debugging messages added	commit \| commitdiff \| tree
2003-07-30	Luca Padovani	* mime type updated	commit \| commitdiff \| tree
2003-07-29	Luca Padovani	* quite a lot of patches in the building stuff	commit \| commitdiff \| tree
2003-07-17	Luca Padovani	* changed name of shared library	commit \| commitdiff \| tree
2003-07-17	Luca Padovani	* snapshot	commit \| commitdiff \| tree
2003-07-17	Luca Padovani	* added simple test program	commit \| commitdiff \| tree
2003-07-17	Luca Padovani	* the container seems to work now	commit \| commitdiff \| tree
2003-07-16	Luca Padovani	* changed name to control factory	commit \| commitdiff \| tree
2003-07-16	Luca Padovani	* updated the help file to reflect the new syntax ...	commit \| commitdiff \| tree
2003-07-16	Luca Padovani	* syntax update for "remove all stylesheets" in control.js	commit \| commitdiff \| tree
2003-07-15	Luca Padovani	* added .pc file	commit \| commitdiff \| tree
2003-07-15	Luca Padovani	* substituting the right version variable	commit \| commitdiff \| tree
2003-07-15	Luca Padovani	* wrong variable for version	commit \| commitdiff \| tree
2003-07-15	Luca Padovani	* patched version of shared library	commit \| commitdiff \| tree
2003-07-15	Luca Padovani	* first snapshot	commit \| commitdiff \| tree
2003-06-19	Luca Padovani	* added pkg-config stuff	commit \| commitdiff \| tree
2003-06-19	Luca Padovani	* removed *-config script invocations, now using pkg...	commit \| commitdiff \| tree
2003-06-18	Luca Padovani	* added template for tml:s	commit \| commitdiff \| tree
2003-06-04	Luca Padovani	* the non-empty cursor is now generated	commit \| commitdiff \| tree
2003-06-04	Luca Padovani	* patched wrong commit (perhaps...)	commit \| commitdiff \| tree
2003-05-23	Luca Padovani	* fix in optional argument for ocaml binding	commit \| commitdiff \| tree
2003-04-06	Luca Padovani	* new semantics with 2 continuations	commit \| commitdiff \| tree
2003-04-06	Luca Padovani	* version with single continuation	commit \| commitdiff \| tree
2003-04-05	Luca Padovani	* set-based + functional semantics	commit \| commitdiff \| tree
2003-04-04	Luca Padovani	* the documents passed to the ocaml binding have been...	commit \| commitdiff \| tree
2003-04-04	Luca Padovani	* added missing / in path for default stylesheets	commit \| commitdiff \| tree
2003-04-04	Luca Padovani	* added .mli file for the editor	commit \| commitdiff \| tree
2003-04-03	Luca Padovani	* major update in regular context language definition...	commit \| commitdiff \| tree
2003-04-02	Luca Padovani	* added dependency on the editor	commit \| commitdiff \| tree
2003-04-02	Luca Padovani	* added depndencies to stdc++ library	commit \| commitdiff \| tree
2003-04-02	Luca Padovani	* added dependencies to the ocaml shared stub lib	commit \| commitdiff \| tree
2003-04-02	Luca Padovani	* removed	commit \| commitdiff \| tree
2003-04-02	Luca Padovani	* mini-patch to dictionary	commit \| commitdiff \| tree
2003-03-30	Luca Padovani	* added introduction + structure for next sections	commit \| commitdiff \| tree
2003-03-24	Luca Padovani	* first draft of the formal specification	commit \| commitdiff \| tree
2003-03-21	Luca Padovani	* defined variables for the default path of dictionaries	commit \| commitdiff \| tree
2003-03-20	Luca Padovani	* added default dictionary/stylesheet paths	commit \| commitdiff \| tree
2003-03-13	Luca Padovani	* removed .in files	commit \| commitdiff \| tree
2003-03-13	Luca Padovani	* removed GLIB 2 dependencies (GLIB 2 not used!)	commit \| commitdiff \| tree
2003-03-13	Luca Padovani	* license update	commit \| commitdiff \| tree
2003-03-13	Luca Padovani	* licenses updated	commit \| commitdiff \| tree
2003-03-13	Luca Padovani	* added license and copyright to every source file	commit \| commitdiff \| tree
next

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

RSS Atom