]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31f877f) | patch
load_document(_,NULL) => unload
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 22 Mar 2004 17:46:00 +0000 (17:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 22 Mar 2004 17:46:00 +0000 (17:46 +0000)
commitd19f6472f195b5181fbda3746b6d632bc671eb57
treeca942fbabc3eae9753fd814733f5a61e460f46betree | snapshot
parent31f877fe0b3f0c0a4d5f03ff40c5afe5eb3f326fcommit | diff
load_document(_,NULL) => unload
helm/DEVEL/mathml_editor/test/guiGTK.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.