Public Git Hosting - texmacs.git/commit

commit	a07840e0f9e60ad872248d7d672863993c5f2deb
author	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Tue, 6 Jan 2009 21:52:05 +0000 (6 21:52 +0000)
committer	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Tue, 6 Jan 2009 21:52:05 +0000 (6 21:52 +0000)
tree	3386685dd2501ab6fb3315ed81d23a5d4504718b	tree \| snapshot (tar.gz zip)
parent	ef1e135947103eb8120de15163a3aadcf19f5d09	commit \| diff

Use new 'modification' class

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2516 64cb5145-927a-446d-8aed-2fb7b4773692

src/misc/admin/admin.makefile		diff \| blob \| blame \| history
src/src/Data/Observers/edit_observer.cpp		diff \| blob \| blame \| history
src/src/Data/Observers/ip_observer.cpp		diff \| blob \| blame \| history
src/src/Data/Observers/list_observer.cpp		diff \| blob \| blame \| history
src/src/Kernel/Abstractions/observer.cpp		diff \| blob \| blame \| history
src/src/Kernel/Abstractions/observer.hpp		diff \| blob \| blame \| history
src/src/Kernel/Types/modification.hpp		diff \| blob \| blame \| history