]> matita.cs.unibo.it Git - helm.git/history - helm/gtkmathview-bonobo
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed auto when the context has some deleted hypothesis
[helm.git] / helm / gtkmathview-bonobo /
2004-03-24 Luca Padovani* added embedding test (HTML) tree | commitdiff
2004-03-24 Luca Padovani* added TODO file tree | commitdiff
2004-03-23 Luca Padovani* added test with MathML really embedded within HTML tree | commitdiff
2004-03-23 Luca Padovani* implemented click so that the browser is notified... tree | commitdiff
2003-10-05 Luca Padovani* added popup menu, implemented some functions tree | commitdiff
2003-09-13 Luca Padovani* small fixes for distribution tree | commitdiff
2003-09-13 Luca Padovani* fixed dependency on gtkmathview 0.5.1 tree | commitdiff
2003-09-13 Luca Padovani* added licence to IDL file tree | commitdiff
2003-09-13 Luca Padovani* some code cleanup tree | commitdiff
2003-09-12 Luca Padovani* using the clipboard to communicate the id of the... tree | commitdiff
2003-09-10 Luca Padovani* completed implementation of View interface tree | commitdiff
2003-09-09 Luca Padovani* prototypes for auxiliary C++ functions tree | commitdiff
2003-09-09 Luca Padovani* advanced implementation of View interface tree | commitdiff
2003-09-09 pmasoudisnapshot tree | commitdiff
2003-09-09 Luca Padovani* snapshot tree | commitdiff
2003-09-09 Luca Padovani* exceptionset -> exception_set tree | commitdiff
2003-09-08 Luca Padovani* update tree | commitdiff
2003-09-08 Luca Padovani* code cleanup tree | commitdiff
2003-09-08 Luca Padovani* IDL file update (and renamed) tree | commitdiff
2003-09-08 pmasoudiselect and click signal added tree | commitdiff
2003-09-04 Luca Padovani* update with some candidate methods tree | commitdiff
2003-09-04 Luca Padovani* added test View interface. It is basically empty... tree | commitdiff
2003-09-04 pmasoudiscrollbars added & control structure screated tree | commitdiff
2003-08-01 Luca Padovani* removed wrong unref tree | commitdiff
2003-08-01 Luca Padovani* added test .html file for mozilla plugin tree | commitdiff
2003-08-01 Luca Padovani* a few adjustments and debugging messages added tree | commitdiff
2003-07-31 pmasoudi* added first version of persist stream implementation... tree | commitdiff
2003-07-30 Luca Padovani* mime type updated tree | commitdiff
2003-07-29 Luca Padovani* quite a lot of patches in the building stuff tree | commitdiff
2003-07-17 pmasoudiPartional first fase final. tree | commitdiff
2003-07-17 pmasoudiPersist file completed. tree | commitdiff
2003-07-17 Luca Padovani* changed name of shared library tree | commitdiff
2003-07-17 Luca Padovani* snapshot tree | commitdiff
2003-07-17 Luca Padovani* added simple test program tree | commitdiff
2003-07-17 Luca Padovani* the container seems to work now tree | commitdiff
2003-07-16 pmasoudiControl Factory modified. tree | commitdiff
2003-07-16 pmasoudipersist file with factory. tree | commitdiff
2003-07-16 pmasoudiadded persit-file-implementation. tree | commitdiff
2003-07-16 Luca Padovani* changed name to control factory tree | commitdiff
2003-07-15 Luca Padovani* added .pc file tree | commitdiff
2003-07-15 Luca Padovani* substituting the right version variable tree | commitdiff
2003-07-15 Luca Padovani* wrong variable for version tree | commitdiff
2003-07-15 Luca Padovani* patched version of shared library tree | commitdiff
2003-07-15 Luca Padovani* first snapshot tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.