From: Luca Padovani Date: Thu, 13 Mar 2003 11:50:00 +0000 (+0000) Subject: * added license and copyright to every source file X-Git-Tag: V_0_0_4_2~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;p=helm.git * added license and copyright to every source file * fixes in the makefiles for distribution * preparing for packaging --- diff --git a/helm/DEVEL/mathml_editor/BUGS b/helm/DEVEL/mathml_editor/BUGS new file mode 100644 index 000000000..e69de29bb diff --git a/helm/DEVEL/mathml_editor/LICENSE b/helm/DEVEL/mathml_editor/LICENSE index ee8db273a..84cc1320e 100644 --- a/helm/DEVEL/mathml_editor/LICENSE +++ b/helm/DEVEL/mathml_editor/LICENSE @@ -1,23 +1,24 @@ -// Copyright (C) 2002-2003, Luca Padovani , -// 2003, Paolo Marinelli . -// -// This file is part of EdiTeX, an editor of mathematical -// expressions based on TeX syntax -// -// EdiTeX is free software; you can redistribute it and/or -// modify it under the terms of the GNU General Public License -// as published by the Free Software Foundation; either version 2 -// of the License, or (at your option) any later version. -// -// EdiTeX is distributed in the hope that it will be useful, -// but WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -// GNU General Public License for more details. -// -// You should have received a copy of the GNU General Public License -// along with EdiTeX; if not, write to the Free Software -// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. -// -// For details, see the EdiTeX World-Wide-Web page, -// http://helm.cs.unibo.it/editex, or send a mail to -// +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ diff --git a/helm/DEVEL/mathml_editor/Makefile.am b/helm/DEVEL/mathml_editor/Makefile.am index 63f89fc1f..b5c7f5164 100644 --- a/helm/DEVEL/mathml_editor/Makefile.am +++ b/helm/DEVEL/mathml_editor/Makefile.am @@ -1,4 +1,4 @@ -#EXTRA_DIST = BUGS HISTORY LICENSE aclocal.m4 debian/ +EXTRA_DIST = BUGS LICENSE aclocal.m4 SUBDIRS = src test ocaml textomml CLEANFILES = core diff --git a/helm/DEVEL/mathml_editor/Makefile.in b/helm/DEVEL/mathml_editor/Makefile.in index 8e9c9ef1f..72bd43ad6 100644 --- a/helm/DEVEL/mathml_editor/Makefile.in +++ b/helm/DEVEL/mathml_editor/Makefile.in @@ -10,8 +10,6 @@ # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. -#EXTRA_DIST = BUGS HISTORY LICENSE aclocal.m4 debian/ - SHELL = @SHELL@ @@ -104,6 +102,7 @@ RANLIB = @RANLIB@ STRIP = @STRIP@ VERSION = @VERSION@ +EXTRA_DIST = BUGS LICENSE aclocal.m4 SUBDIRS = src test ocaml textomml CLEANFILES = core diff --git a/helm/DEVEL/mathml_editor/configure.ac b/helm/DEVEL/mathml_editor/configure.ac index 17b35b57e..91ce0cd67 100644 --- a/helm/DEVEL/mathml_editor/configure.ac +++ b/helm/DEVEL/mathml_editor/configure.ac @@ -3,8 +3,8 @@ AC_INIT(editex, [0.0.1]) AC_CONFIG_SRCDIR(src/TToken.hh) AM_INIT_AUTOMAKE($AC_PACKAGE_NAME, $AC_PACKAGE_VERSION) -PACKAGE=$AC_PACKAGE_NAME -VERSION=$AC_PACKAGE_VERSION +PACKAGE=$PACKAGE_NAME +VERSION=$PACKAGE_VERSION AC_SUBST(PACKAGE) AC_SUBST(VERSION) @@ -251,6 +251,7 @@ AC_CONFIG_FILES([ textomml/Makefile textomml/config.dirs ocaml/Makefile + ocaml/META editex.pc ]) AC_OUTPUT diff --git a/helm/DEVEL/mathml_editor/dictionary-basic.xml b/helm/DEVEL/mathml_editor/dictionary-basic.xml index ed2e26461..892c12d24 100644 --- a/helm/DEVEL/mathml_editor/dictionary-basic.xml +++ b/helm/DEVEL/mathml_editor/dictionary-basic.xml @@ -1,4 +1,29 @@ + diff --git a/helm/DEVEL/mathml_editor/dictionary-test.xml b/helm/DEVEL/mathml_editor/dictionary-test.xml index a9f3c0c11..37a5d0a62 100644 --- a/helm/DEVEL/mathml_editor/dictionary-test.xml +++ b/helm/DEVEL/mathml_editor/dictionary-test.xml @@ -1,4 +1,29 @@ + diff --git a/helm/DEVEL/mathml_editor/dictionary-tex.xml b/helm/DEVEL/mathml_editor/dictionary-tex.xml index fa9785111..6d22c58e0 100644 --- a/helm/DEVEL/mathml_editor/dictionary-tex.xml +++ b/helm/DEVEL/mathml_editor/dictionary-tex.xml @@ -1,4 +1,29 @@ + diff --git a/helm/DEVEL/mathml_editor/ocaml/META.in b/helm/DEVEL/mathml_editor/ocaml/META.in new file mode 100644 index 000000000..f3fe7899a --- /dev/null +++ b/helm/DEVEL/mathml_editor/ocaml/META.in @@ -0,0 +1,6 @@ +requires="gdome2,gdome2-xslt" +version="@VERSION@" +archive(byte)="mlmathml-editor.cma" +archive(native)="mlmathml-editor.cmxa" +archive(byte,premethods)="i_mathml_editor.cmo mlmathml-editor.cma" +archive(native,premethods)="i_mathml_editor.cmx mlmathml-editor.cmxa" diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index b43a0650e..a85b99978 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -2,9 +2,10 @@ PKGNAME = mathml-editor ARCHIVE = mlmathml-editor REQUIRES = gdome2 gdome2-xslt OCAMLFIND = @OCAMLFIND@ -OCAMLC = $(OCAMLFIND) @OCAMLC@ -package "$(REQUIRES)" -OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ -package "$(REQUIRES)" -OCAMLDEP = $(OCAMLFIND) @OCAMLDEP@ -package "$(REQUIRES)" +OCAMLFLAGS = -I $(top_srcdir)/ocaml +OCAMLC = $(OCAMLFIND) @OCAMLC@ $(OCAMLFLAGS) -package "$(REQUIRES)" +OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ $(OCAMLFLAGS) -package "$(REQUIRES)" +OCAMLDEP = $(OCAMLFIND) @OCAMLDEP@ $(OCAMLFLAGS) -package "$(REQUIRES)" if HAVE_SHAREDLIBS_COND OCAMLMKLIBFLAGS = else @@ -30,7 +31,7 @@ NATIVE_INSTALL_STUFF = $(NATIVE_STUFF) EXTRA_DIST = \ META.in mathml_editor.ml i_mathml_editor.ml \ - ml_mathml_editor.h c_mathml_editor.h .depend + c_mathml_editor.h .depend if HAVE_OCAMLOPT_COND noinst_DATA = $(BYTE_STUFF) $(NATIVE_STUFF) diff --git a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc index 88acf9b19..8c305ed39 100644 --- a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc +++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml index f7eddfefd..cf4be4a35 100644 --- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml +++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml @@ -1,3 +1,27 @@ +(* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + *) type t diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml index 7354c8e95..dec0aec5d 100644 --- a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml +++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml @@ -1,3 +1,27 @@ +(* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + *) let create ~dictionary ~mml ~tml ~log = I_mathml_editor.create dictionary#as_Document mml#as_Document tml#as_Document log diff --git a/helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c b/helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c index 2da2526ef..e3cfb71bf 100644 --- a/helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c +++ b/helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/src/ALogger.hh b/helm/DEVEL/mathml_editor/src/ALogger.hh index d3636f57e..32360b9c5 100644 --- a/helm/DEVEL/mathml_editor/src/ALogger.hh +++ b/helm/DEVEL/mathml_editor/src/ALogger.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __ALogger_hh__ #define __ALogger_hh__ diff --git a/helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh b/helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh index 76b641742..4dc4036c0 100644 --- a/helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh +++ b/helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __AMathMLConsumer_hh__ diff --git a/helm/DEVEL/mathml_editor/src/AMathMLFactory.hh b/helm/DEVEL/mathml_editor/src/AMathMLFactory.hh index 92c1eb409..4ec72d662 100644 --- a/helm/DEVEL/mathml_editor/src/AMathMLFactory.hh +++ b/helm/DEVEL/mathml_editor/src/AMathMLFactory.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ // Copyright (C) 2002-2003, Luca Padovani . // // This file is part of EdiTeX, an editor of mathematical diff --git a/helm/DEVEL/mathml_editor/src/APushLexer.hh b/helm/DEVEL/mathml_editor/src/APushLexer.hh index 263da199d..d765f198e 100644 --- a/helm/DEVEL/mathml_editor/src/APushLexer.hh +++ b/helm/DEVEL/mathml_editor/src/APushLexer.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __APushLexer_hh__ #define __APushLexer_hh__ diff --git a/helm/DEVEL/mathml_editor/src/APushParser.cc b/helm/DEVEL/mathml_editor/src/APushParser.cc index 76690c044..9fef0cde8 100644 --- a/helm/DEVEL/mathml_editor/src/APushParser.cc +++ b/helm/DEVEL/mathml_editor/src/APushParser.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "APushParser.hh" #include "AMathMLFactory.hh" diff --git a/helm/DEVEL/mathml_editor/src/APushParser.hh b/helm/DEVEL/mathml_editor/src/APushParser.hh index aa0d10a43..c1384e37f 100644 --- a/helm/DEVEL/mathml_editor/src/APushParser.hh +++ b/helm/DEVEL/mathml_editor/src/APushParser.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ // Copyright (C) 2002-2003, Luca Padovani . // // This file is part of EdiTeX, an editor of mathematical diff --git a/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc b/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc index 194a6faf3..4efabc30d 100644 --- a/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc +++ b/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/src/CLoggerConsole.hh b/helm/DEVEL/mathml_editor/src/CLoggerConsole.hh index a4da0d09b..a860c766b 100644 --- a/helm/DEVEL/mathml_editor/src/CLoggerConsole.hh +++ b/helm/DEVEL/mathml_editor/src/CLoggerConsole.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __CLoggerConsole_hh__ #define __CLoggerConsole_hh__ diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc index f1d357f29..21f0450e9 100644 --- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc +++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "dom.hh" #include "TNode.hh" diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh index 898d95897..a7905a9db 100644 --- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh +++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __CMathMLFactoryXSLT_hh__ #define __CMathMLFactoryXSLT_hh__ diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc index 34d628147..8d59bf19a 100644 --- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc +++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "dom.hh" #include "Diff.hh" diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh index fdc298f19..9cae52a0e 100644 --- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh +++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __CMathMLFactoryXSLTDiff_hh__ #define __CMathMLFactoryXSLTDiff_hh__ diff --git a/helm/DEVEL/mathml_editor/src/Diff.cc b/helm/DEVEL/mathml_editor/src/Diff.cc index 948baa6b6..d33e77aa5 100644 --- a/helm/DEVEL/mathml_editor/src/Diff.cc +++ b/helm/DEVEL/mathml_editor/src/Diff.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include #include diff --git a/helm/DEVEL/mathml_editor/src/Diff.hh b/helm/DEVEL/mathml_editor/src/Diff.hh index 099314bdd..a36edeeb8 100644 --- a/helm/DEVEL/mathml_editor/src/Diff.hh +++ b/helm/DEVEL/mathml_editor/src/Diff.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __Diff_hh__ #define __Diff_hh__ diff --git a/helm/DEVEL/mathml_editor/src/LPushLexer.cc b/helm/DEVEL/mathml_editor/src/LPushLexer.cc index a41b016dd..25b401e0b 100644 --- a/helm/DEVEL/mathml_editor/src/LPushLexer.cc +++ b/helm/DEVEL/mathml_editor/src/LPushLexer.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "TToken.hh" #include "LPushLexer.hh" diff --git a/helm/DEVEL/mathml_editor/src/LPushLexer.hh b/helm/DEVEL/mathml_editor/src/LPushLexer.hh index db6dfb1bc..b78f5b8fd 100644 --- a/helm/DEVEL/mathml_editor/src/LPushLexer.hh +++ b/helm/DEVEL/mathml_editor/src/LPushLexer.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __LPushLexer_hh__ #define __LPushLexer_hh__ diff --git a/helm/DEVEL/mathml_editor/src/Makefile.am b/helm/DEVEL/mathml_editor/src/Makefile.am index 4d88a334a..432eced37 100644 --- a/helm/DEVEL/mathml_editor/src/Makefile.am +++ b/helm/DEVEL/mathml_editor/src/Makefile.am @@ -29,6 +29,7 @@ pkginclude_HEADERS = \ APushLexer.hh \ APushParser.hh \ AMathMLFactory.hh \ + AMathMLConsumer.hh \ CMathMLFactoryXSLT.hh \ CMathMLFactoryXSLTDiff.hh \ TPushLexer.hh \ @@ -39,6 +40,8 @@ pkginclude_HEADERS = \ TDocument.hh \ TNode.hh \ TListener.hh \ + TToken.hh \ + globals.hh \ dom.hh INCLUDES = \ diff --git a/helm/DEVEL/mathml_editor/src/Makefile.in b/helm/DEVEL/mathml_editor/src/Makefile.in index 3b01a42bd..53bc7d1a4 100644 --- a/helm/DEVEL/mathml_editor/src/Makefile.in +++ b/helm/DEVEL/mathml_editor/src/Makefile.in @@ -112,7 +112,7 @@ libeditex_la_LDADDS = $(GLIB2_LIBS) $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) libeditex_la_SOURCES = Diff.cc CLoggerConsole.cc TPushLexer.cc LPushLexer.cc APushParser.cc TPushParser.cc CMathMLFactoryXSLT.cc CMathMLFactoryXSLTDiff.cc TDictionary.cc TDocument.cc TNode.cc TTokenizer.cc -pkginclude_HEADERS = Diff.hh ALogger.hh CLoggerConsole.hh APushLexer.hh APushParser.hh AMathMLFactory.hh CMathMLFactoryXSLT.hh CMathMLFactoryXSLTDiff.hh TPushLexer.hh LPushLexer.hh TPushParser.hh TTokenizer.hh TDictionary.hh TDocument.hh TNode.hh TListener.hh dom.hh +pkginclude_HEADERS = Diff.hh ALogger.hh CLoggerConsole.hh APushLexer.hh APushParser.hh AMathMLFactory.hh AMathMLConsumer.hh CMathMLFactoryXSLT.hh CMathMLFactoryXSLTDiff.hh TPushLexer.hh LPushLexer.hh TPushParser.hh TTokenizer.hh TDictionary.hh TDocument.hh TNode.hh TListener.hh TToken.hh globals.hh dom.hh INCLUDES = $(GLIB2_CFLAGS) $(GMETADOM_CFLAGS) $(GDOMEXSLT_CFLAGS) diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.cc b/helm/DEVEL/mathml_editor/src/TDictionary.cc index 590a7db30..2c01b9317 100644 --- a/helm/DEVEL/mathml_editor/src/TDictionary.cc +++ b/helm/DEVEL/mathml_editor/src/TDictionary.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.hh b/helm/DEVEL/mathml_editor/src/TDictionary.hh index 358481ee0..f8eb69104 100644 --- a/helm/DEVEL/mathml_editor/src/TDictionary.hh +++ b/helm/DEVEL/mathml_editor/src/TDictionary.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TDictionary_hh__ #define __TDictionary_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TDocument.cc b/helm/DEVEL/mathml_editor/src/TDocument.cc index cbf163c7a..304972130 100644 --- a/helm/DEVEL/mathml_editor/src/TDocument.cc +++ b/helm/DEVEL/mathml_editor/src/TDocument.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/src/TDocument.hh b/helm/DEVEL/mathml_editor/src/TDocument.hh index e1ef85892..aabd137e6 100644 --- a/helm/DEVEL/mathml_editor/src/TDocument.hh +++ b/helm/DEVEL/mathml_editor/src/TDocument.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TDocument_hh__ #define __TDocument_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TListener.hh b/helm/DEVEL/mathml_editor/src/TListener.hh index db93261e0..f41ce48a4 100644 --- a/helm/DEVEL/mathml_editor/src/TListener.hh +++ b/helm/DEVEL/mathml_editor/src/TListener.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TListener_hh__ #define __TListener_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TNode.cc b/helm/DEVEL/mathml_editor/src/TNode.cc index 4523ced5d..13bd42b19 100644 --- a/helm/DEVEL/mathml_editor/src/TNode.cc +++ b/helm/DEVEL/mathml_editor/src/TNode.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "globals.hh" #include "TNode.hh" diff --git a/helm/DEVEL/mathml_editor/src/TNode.hh b/helm/DEVEL/mathml_editor/src/TNode.hh index c9f85b8f8..ceaf24575 100644 --- a/helm/DEVEL/mathml_editor/src/TNode.hh +++ b/helm/DEVEL/mathml_editor/src/TNode.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TNode_hh__ #define __TNode_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.cc b/helm/DEVEL/mathml_editor/src/TPushLexer.cc index 73ff25c61..6529a7da3 100644 --- a/helm/DEVEL/mathml_editor/src/TPushLexer.cc +++ b/helm/DEVEL/mathml_editor/src/TPushLexer.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "TToken.hh" #include "TPushLexer.hh" diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.hh b/helm/DEVEL/mathml_editor/src/TPushLexer.hh index c8a99edde..2b519e2b8 100644 --- a/helm/DEVEL/mathml_editor/src/TPushLexer.hh +++ b/helm/DEVEL/mathml_editor/src/TPushLexer.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TPushLexer_hh__ #define __TPushLexer_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.cc b/helm/DEVEL/mathml_editor/src/TPushParser.cc index 4c36b0265..4a2d1bd79 100644 --- a/helm/DEVEL/mathml_editor/src/TPushParser.cc +++ b/helm/DEVEL/mathml_editor/src/TPushParser.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "ALogger.hh" #include "TPushParser.hh" diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.hh b/helm/DEVEL/mathml_editor/src/TPushParser.hh index 091e25e89..39735e5e0 100644 --- a/helm/DEVEL/mathml_editor/src/TPushParser.hh +++ b/helm/DEVEL/mathml_editor/src/TPushParser.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TPushParser_hh__ #define __TPushParser_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TToken.hh b/helm/DEVEL/mathml_editor/src/TToken.hh index 1cb6ca15e..dcaf73aa9 100644 --- a/helm/DEVEL/mathml_editor/src/TToken.hh +++ b/helm/DEVEL/mathml_editor/src/TToken.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TToken_hh__ #define __TToken_hh__ diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.cc b/helm/DEVEL/mathml_editor/src/TTokenizer.cc index 7a8736cee..d008af9d7 100644 --- a/helm/DEVEL/mathml_editor/src/TTokenizer.cc +++ b/helm/DEVEL/mathml_editor/src/TTokenizer.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.hh b/helm/DEVEL/mathml_editor/src/TTokenizer.hh index 00960207d..ce7143e9c 100644 --- a/helm/DEVEL/mathml_editor/src/TTokenizer.hh +++ b/helm/DEVEL/mathml_editor/src/TTokenizer.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __TTokenizer_hh__ #define __TTokenizer_hh__ diff --git a/helm/DEVEL/mathml_editor/src/dom.hh b/helm/DEVEL/mathml_editor/src/dom.hh index f31ecffb2..6b7817053 100644 --- a/helm/DEVEL/mathml_editor/src/dom.hh +++ b/helm/DEVEL/mathml_editor/src/dom.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __dom_hh__ #define __dom_hh__ diff --git a/helm/DEVEL/mathml_editor/src/globals.hh b/helm/DEVEL/mathml_editor/src/globals.hh index 25755a8a8..c186db012 100644 --- a/helm/DEVEL/mathml_editor/src/globals.hh +++ b/helm/DEVEL/mathml_editor/src/globals.hh @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #ifndef __globals_hh__ #define __globals_hh__ diff --git a/helm/DEVEL/mathml_editor/test/Makefile.am b/helm/DEVEL/mathml_editor/test/Makefile.am index a1fef0cf0..edf73ee18 100644 --- a/helm/DEVEL/mathml_editor/test/Makefile.am +++ b/helm/DEVEL/mathml_editor/test/Makefile.am @@ -3,6 +3,8 @@ noinst_PROGRAMS = editor editor_SOURCES = editor.cc guiGTK.c aux.cc +noinst_HEADERS = guiGTK.h + LDADDS = \ $(GMETADOM_LIBS) \ $(GDOMEXSLT_LIBS) \ diff --git a/helm/DEVEL/mathml_editor/test/Makefile.in b/helm/DEVEL/mathml_editor/test/Makefile.in index 819890185..0066a0076 100644 --- a/helm/DEVEL/mathml_editor/test/Makefile.in +++ b/helm/DEVEL/mathml_editor/test/Makefile.in @@ -106,6 +106,8 @@ noinst_PROGRAMS = editor editor_SOURCES = editor.cc guiGTK.c aux.cc +noinst_HEADERS = guiGTK.h + LDADDS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) $(GTKMATHVIEW_LIBS) $(top_builddir)/src/.libs/libeditex.a @@ -134,6 +136,8 @@ COMPILE = $(CC) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CF LTCOMPILE = $(LIBTOOL) --mode=compile $(CC) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) CCLD = $(CC) LINK = $(LIBTOOL) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(LDFLAGS) -o $@ +HEADERS = $(noinst_HEADERS) + DIST_COMMON = Makefile.am Makefile.in @@ -332,7 +336,7 @@ install-am: all-am install: install-am uninstall-am: uninstall: uninstall-am -all-am: Makefile $(PROGRAMS) +all-am: Makefile $(PROGRAMS) $(HEADERS) all-redirect: all-am install-strip: $(MAKE) $(AM_MAKEFLAGS) AM_INSTALL_PROGRAM_FLAGS=-s install diff --git a/helm/DEVEL/mathml_editor/test/aux.cc b/helm/DEVEL/mathml_editor/test/aux.cc index 4b4404af4..ba39be92b 100644 --- a/helm/DEVEL/mathml_editor/test/aux.cc +++ b/helm/DEVEL/mathml_editor/test/aux.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ // Copyright (C) 2000-2002, Luca Padovani . // // This file is part of GtkMathView, a Gtk widget for MathML. diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc index b251d4ede..dfacf4132 100644 --- a/helm/DEVEL/mathml_editor/test/editor.cc +++ b/helm/DEVEL/mathml_editor/test/editor.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include "dom.hh" #include "TPushParser.hh" @@ -143,7 +167,7 @@ main(int argc, char* argv[]) Context context("", lexer, parser, texStyle); - GUI_init(&argc, &argv, "mathmleditor", 500, 600, &context); + GUI_init(&argc, &argv, "EditTeX", 500, 600, &context); GUI_load_document(gdome_cast_doc(static_cast(factory.document()))); GUI_run(); GUI_uninit(); diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.c b/helm/DEVEL/mathml_editor/test/guiGTK.c index 74a34608b..3a6261fe3 100644 --- a/helm/DEVEL/mathml_editor/test/guiGTK.c +++ b/helm/DEVEL/mathml_editor/test/guiGTK.c @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ /* * Copyright (C) 2000, Luca Padovani . * diff --git a/helm/DEVEL/mathml_editor/textomml/main.cc b/helm/DEVEL/mathml_editor/textomml/main.cc index 377494068..cb7235a4c 100644 --- a/helm/DEVEL/mathml_editor/textomml/main.cc +++ b/helm/DEVEL/mathml_editor/textomml/main.cc @@ -1,3 +1,27 @@ +/* Copyright (C) 2002-2003, Luca Padovani , + * 2003, Paolo Marinelli . + * + * This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax + * + * EdiTeX is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * EdiTeX is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with EdiTeX; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the EdiTeX World-Wide-Web page, + * http://helm.cs.unibo.it/editex, or send a mail to + * + */ #include diff --git a/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl b/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl index 2ef6083b1..7be4d64a0 100644 --- a/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl +++ b/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl @@ -1,3 +1,29 @@ + + + +