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

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

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
2002-02-11	Luca Padovani	this is the first commit for the mowgli website.	commit \| commitdiff \| tree
2002-02-05	Luca Padovani	porting to gdome2 started	commit \| commitdiff \| tree
2001-11-23	Luca Padovani	added config.sub and config.guess so that the package...	commit \| commitdiff \| tree
2001-11-12	Luca Padovani	another small bug fixed about the pot	commit \| commitdiff \| tree
2001-11-10	Luca Padovani	binary ignored	commit \| commitdiff \| tree
2001-11-10	Luca Padovani	.deps ignored	commit \| commitdiff \| tree
2001-11-10	Luca Padovani	- new handling of links	commit \| commitdiff \| tree
2001-11-10	Luca Padovani	- added method to check for an attribute in a given...	commit \| commitdiff \| tree
2001-10-18	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-08-29	Luca Padovani	bug fix (helm selection) and new version (sigh)	commit \| commitdiff \| tree
2001-08-22	Luca Padovani	configure.in : new version	commit \| commitdiff \| tree
2001-07-17	Luca Padovani	added preliminary support for maction	commit \| commitdiff \| tree
2001-05-06	Luca Padovani	minidom.c : fixed memory leak	commit \| commitdiff \| tree
2001-04-12	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-04-12	Luca Padovani	Some adjustments in the licenses	commit \| commitdiff \| tree
2001-04-12	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-04-06	Luca Padovani	control.html, control.js: now commands replace the...	commit \| commitdiff \| tree
2001-04-06	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-04-03	Luca Padovani	added support for HELM_GETTER_URL environment variable	commit \| commitdiff \| tree
2001-04-03	Luca Padovani	first steps towards new interface with UWOBo and new...	commit \| commitdiff \| tree
2001-04-03	Luca Padovani	added gmon.out	commit \| commitdiff \| tree
2001-03-13	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-03-08	Luca Padovani	the version command has been renamed into help, the...	commit \| commitdiff \| tree
next

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

RSS Atom