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

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

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
2003-03-13	Luca Padovani	* disable-shared doens't bother ocaml	commit \| commitdiff \| tree
2003-03-12	Luca Padovani	* temporary fix for handling relative/absolute filenames in	commit \| commitdiff \| tree
2003-03-12	Luca Padovani	* changed handling of ' (\primes) with a few patches...	commit \| commitdiff \| tree
2003-02-21	Luca Padovani	* some fixes so to make Ocaml garbage collector happy	commit \| commitdiff \| tree
2003-02-21	Luca Padovani	* the minus sign is now mapped to the right Unicode...	commit \| commitdiff \| tree
2003-02-21	Luca Padovani	* removed debug message	commit \| commitdiff \| tree
2003-02-21	Luca Padovani	* click signal changed: now the element argument is...	commit \| commitdiff \| tree
2003-02-14	Luca Padovani	* the stylesheet does not generate the tml namespace...	commit \| commitdiff \| tree
2003-02-14	Luca Padovani	* removed memory leak (maybe)	commit \| commitdiff \| tree
2003-02-13	Luca Padovani	* assertion too strict removed	commit \| commitdiff \| tree
2003-02-13	Luca Padovani	* added missing dependencies	commit \| commitdiff \| tree
2003-02-13	Luca Padovani	* added show/hide cursro methods	commit \| commitdiff \| tree
2003-02-12	Luca Padovani	* the type of the constructor was wrong	commit \| commitdiff \| tree
2003-02-12	Luca Padovani	* bind of method get_drawing_area	commit \| commitdiff \| tree
2003-02-08	Luca Padovani	* this is a large commit	commit \| commitdiff \| tree
2003-02-08	Luca Padovani	* added apply method that takes no parameters	commit \| commitdiff \| tree
2003-02-01	Luca Padovani	* created a separate namespace for DOM extensions	commit \| commitdiff \| tree
2003-01-31	Luca Padovani	* code cleanup	commit \| commitdiff \| tree
2003-01-29	Luca Padovani	* some small bug fixes	commit \| commitdiff \| tree
2003-01-29	Luca Padovani	* implemented a more efficient selection to avoid flickering	commit \| commitdiff \| tree
2003-01-28	Luca Padovani	* added refs to the pointers passed on the signal handler!!!	commit \| commitdiff \| tree
2003-01-27	Luca Padovani	* binding update to recognize the new event scheme...	commit \| commitdiff \| tree
2003-01-23	Luca Padovani	* restored binding with gtkmathview 0.4.0	commit \| commitdiff \| tree
2003-01-09	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2002-12-05	Luca Padovani	* ignore things	commit \| commitdiff \| tree
2002-12-05	Luca Padovani	* empty automake Makefile for ocaml stuff	commit \| commitdiff \| tree
2002-12-05	Luca Padovani	* required for compilation of test	commit \| commitdiff \| tree
2002-12-05	Luca Padovani	* patches for ocaml compilation	commit \| commitdiff \| tree
2002-12-04	Luca Padovani	* missed some files	commit \| commitdiff \| tree
2002-12-04	Luca Padovani	* added C++ binding	commit \| commitdiff \| tree
2002-03-30	Luca Padovani	preparing for 0.1.4	commit \| commitdiff \| tree
2002-03-30	Luca Padovani	added libxml/ in #includes (see libxml2 ChangeLog)	commit \| commitdiff \| tree
2002-03-30	Luca Padovani	error in check for xml2-config	commit \| commitdiff \| tree
2002-03-21	Luca Padovani	frames/no frame switch changed	commit \| commitdiff \| tree
2002-02-20	Luca Padovani	red warning	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	- removed date from menu (useful?)	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	moved some xml files into xml root directory	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	- renamed some files	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	changed format of content file, now xhtml	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	ok, here is the last one	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	as usual forgot some files (mailing list, members'...	commit \| commitdiff \| tree
2002-02-19	Luca Padovani	- added publication index	commit \| commitdiff \| tree
2002-02-18	Luca Padovani	home.html.mid still around in the dependencies: removed	commit \| commitdiff \| tree
2002-02-16	Luca Padovani	added some stylesheets for list of people and sorting	commit \| commitdiff \| tree
2002-02-16	Luca Padovani	- list of people	commit \| commitdiff \| tree
2002-02-15	Luca Padovani	two column layout. Better or worse?	commit \| commitdiff \| tree
2002-02-14	Luca Padovani	- main page now generated automatically	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	as usual...	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	partial implementation of IST logo. Deep pages have...	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	- install/uninstall targets added	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	- more uniform layout	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2002-02-13	Luca Padovani	- added common stylesheet	commit \| commitdiff \| tree
next

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

RSS Atom