songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

merge from next

This commit is contained in:
Sébastien Loriot 2012-01-17 13:47:33 +00:00
parent 7f6b7c9ff1 98f895bf48
commit f6784b96e7
131 changed files with 612 additions and 153 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitattributes vendored
View File

@ -3492,6 +3492,7 @@ Scripts/developer_scripts/create_cgal_test -text
Scripts/developer_scripts/create_cgal_test_with_cmake -text
Scripts/developer_scripts/create_demos_zip_files.sh -text
Scripts/developer_scripts/create_macosx_installer -text
Scripts/developer_scripts/detect_packages_licenses -text
Scripts/developer_scripts/licensecheck -text
Scripts/developer_scripts/list_package_files.rb -text
Scripts/developer_scripts/list_package_files_impl.rb -text

1
AABB_tree/package_info/AABB_tree/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Algebraic_foundations/package_info/Algebraic_foundations/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Algebraic_kernel_d/package_info/Algebraic_kernel_d/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Algebraic_kernel_for_circles/package_info/Algebraic_kernel_for_circles/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Algebraic_kernel_for_spheres/package_info/Algebraic_kernel_for_spheres/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Alpha_shapes_2/package_info/Alpha_shapes_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Alpha_shapes_3/package_info/Alpha_shapes_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Apollonius_graph_2/package_info/Apollonius_graph_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Approximate_min_ellipsoid_d/package_info/Approximate_min_ellipsoid_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Arithmetic_kernel/package_info/Arithmetic_kernel/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Arrangement_on_surface_2/package_info/Arrangement_on_surface_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
BGL/package_info/BGL/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Boolean_set_operations_2/package_info/Boolean_set_operations_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Box_intersection_d/package_info/Box_intersection_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
CGAL_ipelets/package_info/CGAL_ipelets/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
CGALimageIO/package_info/CGALimageIO/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Cartesian_kernel/package_info/Cartesian_kernel/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Circular_kernel_2/package_info/Circular_kernel_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Circular_kernel_3/package_info/Circular_kernel_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Circulator/package_info/Circulator/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Combinatorial_map/package_info/Combinatorial_map/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Conic_2/package_info/Conic_2/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Convex_decomposition_3/package_info/Convex_decomposition_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Convex_hull_2/package_info/Convex_hull_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Convex_hull_3/package_info/Convex_hull_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Convex_hull_d/package_info/Convex_hull_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

22
Core/include/CGAL/CORE/Config.h
View File

@ -1,3 +1,25 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
#ifndef _CORE_CONFIG_H_
#define _CORE_CONFIG_H_

22
Core/include/CGAL/CORE/Gmp.h
View File

@ -1,3 +1,25 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
// CORE LIBRARY FILE
#ifndef _CORE_GMP_H_
#define _CORE_GMP_H_

22
Core/include/CGAL/CORE/Impl.h
View File

@ -1,3 +1,25 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
#ifndef _CORE_IMPL_H_
#define _CORE_IMPL_H_

21
Core/include/CGAL/CORE/geom2d/circle2d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: circle2d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom2d/line2d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: line2d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom2d/point2d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: point2d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom2d/segment2d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: segment2d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/line3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: line3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/plane3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: plane3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/point3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: point3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/polygon3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: polygon3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/segment3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: segment3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geom3d/triangle3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/*****************************************************************
* File: triangle3d.h
* Synopsis:

21
Core/include/CGAL/CORE/geombase.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/******************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2002 Exact Computation Project

21
Core/include/CGAL/CORE/geometry2d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/******************************************************************
* Core Library Version 1.5, August 2002
* Copyright (c) 1995-2002 Exact Computation Project

21
Core/include/CGAL/CORE/geometry3d.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/******************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2002 Exact Computation Project

21
Core/include/CGAL/CORE/linearAlgebra.h
View File

@ -1,3 +1,24 @@
/****************************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2004 Exact Computation Project
* All rights reserved.
*
* This file is part of CORE (http://cs.nyu.edu/exact/core/).
* 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 3 of the License, or (at your option) any later version.
*
* Licensees holding a valid commercial license may use this file in
* accordance with the commercial license agreement provided with the
* software.
*
* This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
* WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*
*
* $URL$
* $Id$
***************************************************************************/
/******************************************************************
* Core Library Version 1.7, August 2004
* Copyright (c) 1995-2002 Exact Computation Project

1
Core/package_info/Core/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Distance_2/package_info/Distance_2/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Distance_3/package_info/Distance_3/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Envelope_2/package_info/Envelope_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Envelope_3/package_info/Envelope_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Filtered_kernel/package_info/Filtered_kernel/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Generator/package_info/Generator/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Geomview/package_info/Geomview/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
GraphicsView/package_info/GraphicsView/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
HalfedgeDS/package_info/HalfedgeDS/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Hash_map/package_info/Hash_map/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Homogeneous_kernel/package_info/Homogeneous_kernel/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

33
Installation/include/CGAL/version.h
View File

@ -1,33 +0,0 @@
// Copyright (c) 2011
// Utrecht University (The Netherlands),
// ETH Zurich (Switzerland),
// INRIA Sophia-Antipolis (France),
// Max-Planck-Institute Saarbruecken (Germany),
// and Tel-Aviv University (Israel). All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 3 of the License,
// or (at your option) any later version.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// Author(s) : -
// This file is automatically created by cmake
// Do not edit manually.
#ifndef CGAL_VERSION_H
#define CGAL_VERSION_H
#define CGAL_VERSION 3.9-I-000
#define CGAL_VERSION_NR 1030900000
#define CGAL_SVN_REVISION 62149
#include <CGAL/version_macros.h>
#endif

1
Installation/package_info/Installation/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Interpolation/package_info/Interpolation/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Intersections_2/package_info/Intersections_2/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Intersections_3/package_info/Intersections_3/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Interval_skip_list/package_info/Interval_skip_list/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Interval_support/package_info/Interval_support/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Inventor/package_info/Inventor/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Jet_fitting_3/package_info/Jet_fitting_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Kernel_23/package_info/Kernel_23/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Kernel_d/package_info/Kernel_d/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Kinetic_data_structures/package_info/Kinetic_data_structures/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
LEDA/package_info/LEDA/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Largest_empty_rect_2/package_info/Largest_empty_rect_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Linear_cell_complex/package_info/Linear_cell_complex/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

4
Maintenance/infrastructure/delaunay.geometryfactory.com/reference-platforms/i686_Cygwin-Vista_MSVS2008-Release-32bits/setup
View File

@ -28,7 +28,7 @@ declare -x MAKE_MODE="unix"
declare -x MANPATH="/usr/local/man:/usr/share/man:/usr/man::/usr/ssl/man"
declare -x NUMBER_OF_PROCESSORS="2"
declare -x OS="Windows_NT"
declare -x PATH="$HOME/emacs-22.2/bin:/cygdrive/c/Users/Andreas Fabri/Desktop/depends/:/usr/local/bin:/usr/bin:/bin:/usr/X11R6/bin:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/Common7/IDE:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/VC/BIN:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/Common7/Tools:/cygdrive/c/Windows/Microsoft.NET/Framework/v3.5:/cygdrive/c/Windows/Microsoft.NET/Framework/v2.0.50727:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/VC/VCPackages:/cygdrive/c/Program Files/Microsoft SDKs/Windows/v6.0A/bin:/cygdrive/c/Windows/system32:/cygdrive/c/Windows:/cygdrive/c/Windows/System32/Wbem:/cygdrive/c/Windows/System32/WindowsPowerShell/v1.0/:/cygdrive/c/CGAL/CGAL-3.4.1/auxiliary/gmp/lib:/cygdrive/c/Program Files/TortoiseSVN/bin:/cygdrive/c/Program Files (x86)/CMake 2.8/bin"
declare -x PATH="$HOME/emacs-22.2/bin:/cygdrive/c/Users/Andreas Fabri/Desktop/depends/:/usr/local/bin:/usr/bin:/bin:/usr/X11R6/bin:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/Common7/IDE:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/VC/BIN:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/Common7/Tools:/cygdrive/c/Windows/Microsoft.NET/Framework/v3.5:/cygdrive/c/Windows/Microsoft.NET/Framework/v2.0.50727:/cygdrive/c/Program Files (x86)/Microsoft Visual Studio 9.0/VC/VCPackages:/cygdrive/c/Program Files/Microsoft SDKs/Windows/v6.0A/bin:/cygdrive/c/Windows/system32:/cygdrive/c/Windows:/cygdrive/c/Windows/System32/Wbem:/cygdrive/c/Windows/System32/WindowsPowerShell/v1.0/:/cygdrive/c/CGAL/auxiliaries-i686/gmp/lib:/cygdrive/c/Program Files/TortoiseSVN/bin:/cygdrive/c/Program Files (x86)/CMake 2.8/bin"
declare -x PATHEXT=".COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC"
declare -x PRINTER="Microsoft XPS Document Writer"
declare -x PROCESSOR_ARCHITECTURE="x86"
@ -67,7 +67,7 @@ MPFR_INC_DIR="$GMP_MPFR_ROOT/include"
GMP_LIB_DIR="$GMP_MPFR_ROOT/lib"
MPFR_LIB_DIR="$GMP_MPFR_ROOT/lib"
CGAL_TAUCS_DIR='C:/CGAL/CGAL-3.4.1/auxiliary/taucs'
CGAL_TAUCS_DIR='C:/CGAL/auxiliaries-i686/taucs'
QGLVIEWERROOT='C:\CGAL\libQGLViewer-2.3.3'
ESBTL_INC_DIR='C:\cgal\esbtl\trunk\include\'

236
Manual_tools/src/latex_converter_config/html/latex.sty
View File

@ -565,50 +565,50 @@
\newcommand{\lciMathbb}{} % dummy, supporting other chars/macros as argument
\newcommand{\lciMathbbA}{\lcRawHtml%
{< IMG ALT="A" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_A.gif"> }}
{<IMG ALT="A" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_A.gif"> }}
\newcommand{\lciMathbbB}{\lcRawHtml%
{< IMG ALT="B" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_B.gif"> }}
{<IMG ALT="B" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_B.gif"> }}
\newcommand{\lciMathbbC}{\lcRawHtml{<span class="sym">&#x2102;</span>}}
\newcommand{\lciMathbbD}{\lcRawHtml%
{< IMG ALT="D" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_D.gif"> }}
{<IMG ALT="D" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_D.gif"> }}
\newcommand{\lciMathbbE}{\lcRawHtml%
{< IMG ALT="E" BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_E.gif"> }}
{<IMG ALT="E" BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_E.gif"> }}
\newcommand{\lciMathbbF}{\lcRawHtml%
{< IMG ALT="F" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_F.gif"> }}
{<IMG ALT="F" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_F.gif"> }}
\newcommand{\lciMathbbG}{\lcRawHtml%
{< IMG ALT="G" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_G.gif"> }}
{<IMG ALT="G" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_G.gif"> }}
\newcommand{\lciMathbbH}{\lcRawHtml%
{< IMG ALT="H" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_H.gif"> }}
{<IMG ALT="H" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_H.gif"> }}
\newcommand{\lciMathbbI}{\lcRawHtml%
{< IMG ALT="I" BORDER=0 WIDTH=7 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_I.gif"> }}
{<IMG ALT="I" BORDER=0 WIDTH=7 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_I.gif"> }}
\newcommand{\lciMathbbJ}{\lcRawHtml%
{< IMG ALT="J" BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_mathbb_J.gif"> }}
{<IMG ALT="J" BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_mathbb_J.gif"> }}
\newcommand{\lciMathbbK}{\lcRawHtml%
{< IMG ALT="K" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_K.gif"> }}
\newcommand{\lciMathbbL}{\lcRawHtml%
{< IMG ALT="L" BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_L.gif"> }}
{<IMG ALT="K" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_K.gif"> }}
\newcommand{\lciMathbbL}{\lcRawHtml{TOTO%
<IMG ALT="L" BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_L.gif"> }}
\newcommand{\lciMathbbM}{\lcRawHtml%
{< IMG ALT="M" BORDER=0 WIDTH=18 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_M.gif"> }}
{<IMG ALT="M" BORDER=0 WIDTH=18 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_M.gif"> }}
\newcommand{\lciMathbbN}{\lcRawHtml{<span class="sym">&#x2115;</span>}}
\newcommand{\lciMathbbO}{\lcRawHtml%
{< IMG ALT="O" BORDER=0 WIDTH=12 HEIGHT=20 ALIGN=MIDDLE SRC="cc_mathbb_O.gif"> }}
{<IMG ALT="O" BORDER=0 WIDTH=12 HEIGHT=20 ALIGN=MIDDLE SRC="cc_mathbb_O.gif"> }}
\newcommand{\lciMathbbP}{\lcRawHtml{<span class="sym">&#x2119;</span>}}
\newcommand{\lciMathbbQ}{\lcRawHtml{<span class="sym">&#x211A;</span>}}
\newcommand{\lciMathbbR}{\lcRawHtml{<span class="sym">&#x211D;</span>}}
\newcommand{\lciMathbbS}{\lcRawHtml%
{< IMG ALT="S" BORDER=0 WIDTH=8 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_S.gif"> }}
{<IMG ALT="S" BORDER=0 WIDTH=8 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_S.gif"> }}
\newcommand{\lciMathbbT}{\lcRawHtml%
{< IMG ALT="T" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_T.gif"> }}
{<IMG ALT="T" BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_T.gif"> }}
\newcommand{\lciMathbbU}{\lcRawHtml%
{< IMG ALT="U" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_U.gif"> }}
{<IMG ALT="U" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_U.gif"> }}
\newcommand{\lciMathbbV}{\lcRawHtml%
{< IMG ALT="V" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_V.gif"> }}
{<IMG ALT="V" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_V.gif"> }}
\newcommand{\lciMathbbW}{\lcRawHtml%
{< IMG ALT="W" BORDER=0 WIDTH=18 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_W.gif"> }}
{<IMG ALT="W" BORDER=0 WIDTH=18 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_W.gif"> }}
\newcommand{\lciMathbbX}{\lcRawHtml%
{< IMG ALT="X" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_X.gif"> }}
{<IMG ALT="X" BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_X.gif"> }}
\newcommand{\lciMathbbY}{\lcRawHtml%
{< IMG ALT="Y" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_Y.gif"> }}
{<IMG ALT="Y" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_Y.gif"> }}
\newcommand{\lciMathbbZ}{\lcRawHtml{<span class="sym">&#x2124;</span>}}
% +--------------------------------------------------------------------------
@ -630,62 +630,62 @@
\newcommand{\times}{\lcRawHtml{ &times; }}
\newcommand{\div}{\lcRawHtml{ &divide; }}
\newcommand{\mp}{\lcRawHtml%
{< IMG ALT="mp" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_mp.gif"> }}
{<IMG ALT="mp" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_mp.gif"> }}
\newcommand{\ast}{\lcRawHtml{ &#8727; }}
\newcommand{\star}{\lcRawHtml%
{< IMG ALT="star" BORDER=0 WIDTH=4 HEIGHT=2 ALIGN=BOTTOM SRC="cc_star.gif"> }}
{<IMG ALT="star" BORDER=0 WIDTH=4 HEIGHT=2 ALIGN=BOTTOM SRC="cc_star.gif"> }}
\newcommand{\circ}{\lcRawHtml{&deg;}}
\newcommand{\bullet}{\lcRawHtml{&bull; }}
\newcommand{\cap}{\lcRawHtml{ <span class="sym">&cap;</span> }}
\newcommand{\cup}{\lcRawHtml{ <span class="sym">&cup;</span> }}
\newcommand{\uplus}{\lcRawHtml%
{< IMG ALT="uplus" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uplus.gif"> }}
{<IMG ALT="uplus" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uplus.gif"> }}
\newcommand{\sqcap}{\lcRawHtml%
{< IMG ALT="sqcap" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_sqcap.gif"> }}
{<IMG ALT="sqcap" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_sqcap.gif"> }}
\newcommand{\sqcup}{\lcRawHtml%
{< IMG ALT="sqcup" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_sqcup.gif"> }}
{<IMG ALT="sqcup" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_sqcup.gif"> }}
\newcommand{\vee}{\lcRawHtml%
{< IMG ALT="vee" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_vee.gif"> }}
{<IMG ALT="vee" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_vee.gif"> }}
\newcommand{\wedge}{\lcRawHtml%
{< IMG ALT="wedge" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_wedge.gif"> }}
{<IMG ALT="wedge" BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_wedge.gif"> }}
\newcommand{\setminus}{\lcRawHtml{ \ }}
\newcommand{\wr}{\lcRawHtml%
{< IMG ALT="wr" BORDER=0 WIDTH=2 HEIGHT=21 ALIGN=MIDDLE SRC="cc_wr.gif"> }}
{<IMG ALT="wr" BORDER=0 WIDTH=2 HEIGHT=21 ALIGN=MIDDLE SRC="cc_wr.gif"> }}
\newcommand{\diamond}{\lcRawHtml%
{< IMG ALT="diamond" BORDER=0 WIDTH=7 HEIGHT=7 ALIGN=BOTTOM SRC="cc_lowercase_diamond.gif"> }}
{<IMG ALT="diamond" BORDER=0 WIDTH=7 HEIGHT=7 ALIGN=BOTTOM SRC="cc_lowercase_diamond.gif"> }}
\newcommand{\bigtriangleup}{\lcRawHtml%
{< IMG ALT="bigtriangleup" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_bigtriangleup.gif"> }}
{<IMG ALT="bigtriangleup" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_bigtriangleup.gif"> }}
\newcommand{\bigtriangledown}{\lcRawHtml%
{< IMG ALT="bigtriangledown" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_bigtriangledown.gif"> }}
{<IMG ALT="bigtriangledown" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_bigtriangledown.gif"> }}
\newcommand{\triangleleft}{\lcRawHtml%
{< IMG ALT="triangleleft" BORDER=0 WIDTH=6 HEIGHT=7 ALIGN=BOTTOM SRC="cc_triangleleft.gif"> }}
{<IMG ALT="triangleleft" BORDER=0 WIDTH=6 HEIGHT=7 ALIGN=BOTTOM SRC="cc_triangleleft.gif"> }}
\newcommand{\triangleright}{\lcRawHtml%
{< IMG ALT="triangleright" BORDER=0 WIDTH=6 HEIGHT=7 ALIGN=BOTTOM SRC="cc_triangleright.gif"> }}
{<IMG ALT="triangleright" BORDER=0 WIDTH=6 HEIGHT=7 ALIGN=BOTTOM SRC="cc_triangleright.gif"> }}
\newcommand{\lhd}{\lcRawHtml%
{< IMG ALT="lhd" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_lhd.gif"> }}
{<IMG ALT="lhd" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_lhd.gif"> }}
\newcommand{\rhd}{\lcRawHtml%
{< IMG ALT="rhd" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_rhd.gif"> }}
{<IMG ALT="rhd" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_rhd.gif"> }}
\newcommand{\unlhd}{\lcRawHtml%
{< IMG ALT="unlhd" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unlhd.gif"> }}
{<IMG ALT="unlhd" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unlhd.gif"> }}
\newcommand{\unrhd}{\lcRawHtml%
{< IMG ALT="unrhd" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unrhd.gif"> }}
{<IMG ALT="unrhd" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unrhd.gif"> }}
\newcommand{\oplus}{\lcRawHtml{ <span class="sym">&oplus;</span> }}
\newcommand{\ominus}{\lcRawHtml%
{< IMG ALT="ominus" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_ominus.gif"> }}
{<IMG ALT="ominus" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_ominus.gif"> }}
\newcommand{\otimes}{\lcRawHtml%
{< IMG ALT="otimes" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_otimes.gif"> }}
{<IMG ALT="otimes" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_otimes.gif"> }}
\newcommand{\oslash}{\lcRawHtml%
{< IMG ALT="oslash" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_oslash.gif"> }}
{<IMG ALT="oslash" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_oslash.gif"> }}
\newcommand{\odot}{\lcRawHtml%
{< IMG ALT="odot" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_odot.gif"> }}
{<IMG ALT="odot" BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_odot.gif"> }}
\newcommand{\bigcirc}{\lcRawHtml%
{< IMG ALT="bigcirc" BORDER=0 WIDTH=15 HEIGHT=27 ALIGN=MIDDLE SRC="cc_bigcirc.gif"> }}
{<IMG ALT="bigcirc" BORDER=0 WIDTH=15 HEIGHT=27 ALIGN=MIDDLE SRC="cc_bigcirc.gif"> }}
\newcommand{\dagger}{\lcRawHtml%
{< IMG ALT="dagger" BORDER=0 WIDTH=5 HEIGHT=27 ALIGN=MIDDLE SRC="cc_dagger.gif"> }}
{<IMG ALT="dagger" BORDER=0 WIDTH=5 HEIGHT=27 ALIGN=MIDDLE SRC="cc_dagger.gif"> }}
\newcommand{\ddagger}{\lcRawHtml%
{< IMG ALT="ddagger" BORDER=0 WIDTH=5 HEIGHT=27 ALIGN=MIDDLE SRC="cc_ddagger.gif"> }}
{<IMG ALT="ddagger" BORDER=0 WIDTH=5 HEIGHT=27 ALIGN=MIDDLE SRC="cc_ddagger.gif"> }}
\newcommand{\amalg}{\lcRawHtml%
{< IMG ALT="amalg" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_amalg.gif"> }}
{<IMG ALT="amalg" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_amalg.gif"> }}
% +--------------------------------------------------------------------------
% | * Relation symbols following Table 3.5 page 43 in Lamport.
@ -695,130 +695,130 @@
\newcommand{\leq}{\lcRawHtml{ <span class="sym">&le;</span> }}
\newcommand{\prec}{\lcRawHtml%
{< IMG ALT="prec" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_prec.gif"> }}
{<IMG ALT="prec" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_prec.gif"> }}
\newcommand{\preceq}{\lcRawHtml%
{< IMG ALT="preceq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_preceq.gif"> }}
{<IMG ALT="preceq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_preceq.gif"> }}
\newcommand{\ll}{\lcRawHtml%
{< IMG ALT="ll" BORDER=0 WIDTH=15 HEIGHT=25 ALIGN=MIDDLE SRC="cc_ll.gif"> }}
{<IMG ALT="ll" BORDER=0 WIDTH=15 HEIGHT=25 ALIGN=MIDDLE SRC="cc_ll.gif"> }}
\newcommand{\subset}{\lcRawHtml{ <span class="sym">&sub;</span> }}
\newcommand{\subseteq}{\lcRawHtml{ <span class="sym">&sube;</span> }}
\newcommand{\sqsubset}{\lcRawHtml%
{< IMG ALT="sqsubset" BORDER=0 WIDTH=12 HEIGHT=21 ALIGN=MIDDLE SRC="cc_sqsubset.gif"> }}
{<IMG ALT="sqsubset" BORDER=0 WIDTH=12 HEIGHT=21 ALIGN=MIDDLE SRC="cc_sqsubset.gif"> }}
\newcommand{\sqsubseteq}{\lcRawHtml%
{< IMG ALT="sqsubseteq" BORDER=0 WIDTH=12 HEIGHT=25 ALIGN=MIDDLE SRC="cc_sqsubseteq.gif"> }}
{<IMG ALT="sqsubseteq" BORDER=0 WIDTH=12 HEIGHT=25 ALIGN=MIDDLE SRC="cc_sqsubseteq.gif"> }}
\newcommand{\in}{\lcRawHtml{ <span class="sym">&isin;</span> }}
\newcommand{\vdash}{\lcRawHtml%
{< IMG ALT="vdash" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_vdash.gif"> }}
{<IMG ALT="vdash" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_vdash.gif"> }}
\newcommand{\geq}{\lcRawHtml{ <span class="sym">&ge;</span> }}
\newcommand{\succ}{\lcRawHtml%
{< IMG ALT="succ" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_succ.gif"> }}
{<IMG ALT="succ" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_succ.gif"> }}
\newcommand{\succeq}{\lcRawHtml%
{< IMG ALT="succeq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_succeq.gif"> }}
{<IMG ALT="succeq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_succeq.gif"> }}
\newcommand{\gg}{\lcRawHtml%
{< IMG ALT="gg" BORDER=0 WIDTH=15 HEIGHT=25 ALIGN=MIDDLE SRC="cc_gg.gif"> }}
{<IMG ALT="gg" BORDER=0 WIDTH=15 HEIGHT=25 ALIGN=MIDDLE SRC="cc_gg.gif"> }}
\newcommand{\supset}{\lcRawHtml%
{< IMG ALT="supset" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_supset.gif"> }}
{<IMG ALT="supset" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_supset.gif"> }}
\newcommand{\supseteq}{\lcRawHtml%
{< IMG ALT="supseteq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_supseteq.gif"> }}
{<IMG ALT="supseteq" BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_supseteq.gif"> }}
\newcommand{\sqsupset}{\lcRawHtml%
{< IMG ALT="sqsupset" BORDER=0 WIDTH=12 HEIGHT=21 ALIGN=MIDDLE SRC="cc_sqsupset.gif"> }}
{<IMG ALT="sqsupset" BORDER=0 WIDTH=12 HEIGHT=21 ALIGN=MIDDLE SRC="cc_sqsupset.gif"> }}
\newcommand{\sqsupseteq}{\lcRawHtml%
{< IMG ALT="sqsupseteq" BORDER=0 WIDTH=12 HEIGHT=25 ALIGN=MIDDLE SRC="cc_sqsupseteq.gif"> }}
{<IMG ALT="sqsupseteq" BORDER=0 WIDTH=12 HEIGHT=25 ALIGN=MIDDLE SRC="cc_sqsupseteq.gif"> }}
\newcommand{\ni}{\lcRawHtml%
{< IMG ALT="ni" BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_ni.gif"> }}
{<IMG ALT="ni" BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_ni.gif"> }}
\newcommand{\dashv}{\lcRawHtml%
{< IMG ALT="dashv" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_dashv.gif"> }}
{<IMG ALT="dashv" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_dashv.gif"> }}
\newcommand{\equiv}{\lcRawHtml{ <span class="sym">&equiv;</span> }}
\newcommand{\sim}{\lcRawHtml{ <span class="sym">&sim;</span> }}
\newcommand{\simeq}{\lcRawHtml%
{< IMG ALT="simeq" BORDER=0 WIDTH=11 HEIGHT=8 ALIGN=BOTTOM SRC="cc_simeq.gif"> }}
{<IMG ALT="simeq" BORDER=0 WIDTH=11 HEIGHT=8 ALIGN=BOTTOM SRC="cc_simeq.gif"> }}
\newcommand{\asymp}{\lcRawHtml%
{< IMG ALT="asymp" BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_asymp.gif"> }}
{<IMG ALT="asymp" BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_asymp.gif"> }}
\newcommand{\approx}{\lcRawHtml%
{< IMG ALT="approx" BORDER=0 WIDTH=11 HEIGHT=10 ALIGN=BOTTOM SRC="cc_approx.gif"> }}
{<IMG ALT="approx" BORDER=0 WIDTH=11 HEIGHT=10 ALIGN=BOTTOM SRC="cc_approx.gif"> }}
\newcommand{\cong}{\lcRawHtml%
{< IMG ALT="cong" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_cong.gif"> }}
{<IMG ALT="cong" BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_cong.gif"> }}
\newcommand{\neq}{\lcRawHtml{ <span class="sym">&ne;</span> }}
\newcommand{\ne}{\lcRawHtml{ <span class="sym">&ne;</span> }}
\newcommand{\doteq}{\lcRawHtml%
{< IMG ALT="doteq" BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_doteq.gif"> }}
{<IMG ALT="doteq" BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_doteq.gif"> }}
\newcommand{\notin}{\lcRawHtml%
{< IMG ALT="notin" BORDER=0 WIDTH=9 HEIGHT=37 ALIGN=MIDDLE SRC="cc_notin.gif"> }}
{<IMG ALT="notin" BORDER=0 WIDTH=9 HEIGHT=37 ALIGN=MIDDLE SRC="cc_notin.gif"> }}
\newcommand{\models}{\lcRawHtml%
{< IMG ALT="models" BORDER=0 WIDTH=12 HEIGHT=29 ALIGN=MIDDLE SRC="cc_models.gif"> }}
{<IMG ALT="models" BORDER=0 WIDTH=12 HEIGHT=29 ALIGN=MIDDLE SRC="cc_models.gif"> }}
\newcommand{\perp}{\lcRawHtml%
{< IMG ALT="perp" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_perp.gif"> }}
{<IMG ALT="perp" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_perp.gif"> }}
\newcommand{\mid}{\lcRawHtml{ <span class="sym">|</span> }}
\newcommand{\parallel}{\lcRawHtml{<span class="sym">||</span>}}
\newcommand{\bowtie}{\lcRawHtml%
{< IMG ALT="bowtie" BORDER=0 WIDTH=12 HEIGHT=7 ALIGN=BOTTOM SRC="cc_bowtie.gif"> }}
{<IMG ALT="bowtie" BORDER=0 WIDTH=12 HEIGHT=7 ALIGN=BOTTOM SRC="cc_bowtie.gif"> }}
\newcommand{\Join}{\lcRawHtml%
{< IMG ALT="Join" BORDER=0 WIDTH=10 HEIGHT=11 ALIGN=BOTTOM SRC="cc_Join.gif"> }}
{<IMG ALT="Join" BORDER=0 WIDTH=10 HEIGHT=11 ALIGN=BOTTOM SRC="cc_Join.gif"> }}
\newcommand{\smile}{\lcRawHtml%
{< IMG ALT="smile" BORDER=0 WIDTH=15 HEIGHT=4 ALIGN=BOTTOM SRC="cc_smile.gif"> }}
{<IMG ALT="smile" BORDER=0 WIDTH=15 HEIGHT=4 ALIGN=BOTTOM SRC="cc_smile.gif"> }}
\newcommand{\frown}{\lcRawHtml%
{< IMG ALT="frown" BORDER=0 WIDTH=15 HEIGHT=4 ALIGN=BOTTOM SRC="cc_frown.gif"> }}
{<IMG ALT="frown" BORDER=0 WIDTH=15 HEIGHT=4 ALIGN=BOTTOM SRC="cc_frown.gif"> }}
\newcommand{\propto}{\lcRawHtml%
{< IMG ALT="propto" BORDER=0 WIDTH=12 HEIGHT=8 ALIGN=BOTTOM SRC="cc_propto.gif"> }}
{<IMG ALT="propto" BORDER=0 WIDTH=12 HEIGHT=8 ALIGN=BOTTOM SRC="cc_propto.gif"> }}
% +--------------------------------------------------------------------------
% | * Arrow symbols following Table 3.6 page 43 in Lamport.
% +--------------------------------------------------------------------------
\newcommand{\leftarrow}{\lcRawHtml%
{< IMG ALT="leftarrow" BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftarrow.gif"> }}
{<IMG ALT="leftarrow" BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftarrow.gif"> }}
\newcommand{\Leftarrow}{\lcRawHtml{ <span class="sym">&lArr;</span> }}
\newcommand{\rightarrow}{\lcRawHtml{ <span class="sym">&rarr;</span> }}
\newcommand{\Rightarrow}{\lcRawHtml{ <span class="sym">&rArr;</span> }}
\newcommand{\leftrightarrow}{\lcRawHtml%
{< IMG ALT="leftrightarrow" BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftrightarrow.gif"> }}
{<IMG ALT="leftrightarrow" BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftrightarrow.gif"> }}
\newcommand{\Leftrightarrow}{\lcRawHtml{ <span class="sym">&hArr;</span> }}
\newcommand{\mapsto}{\lcRawHtml{ <span class="sym">&#8614;</span> }}
\newcommand{\hookleftarrow}{\lcRawHtml%
{< IMG ALT="hookleftarrow" BORDER=0 WIDTH=17 HEIGHT=9 ALIGN=BOTTOM SRC="cc_hookleftarrow.gif"> }}
{<IMG ALT="hookleftarrow" BORDER=0 WIDTH=17 HEIGHT=9 ALIGN=BOTTOM SRC="cc_hookleftarrow.gif"> }}
\newcommand{\leftharpoonup}{\lcRawHtml%
{< IMG ALT="leftharpoonup" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_leftharpoonup.gif"> }}
{<IMG ALT="leftharpoonup" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_leftharpoonup.gif"> }}
\newcommand{\leftharpoondown}{\lcRawHtml%
{< IMG ALT="leftharpoondown" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_leftharpoondown.gif"> }}
{<IMG ALT="leftharpoondown" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_leftharpoondown.gif"> }}
\newcommand{\rightleftharpoons}{\lcRawHtml%
{< IMG ALT="rightleftharpoons" BORDER=0 WIDTH=15 HEIGHT=24 ALIGN=MIDDLE SRC="cc_rightleftharpoons.gif"> }}
{<IMG ALT="rightleftharpoons" BORDER=0 WIDTH=15 HEIGHT=24 ALIGN=MIDDLE SRC="cc_rightleftharpoons.gif"> }}
\newcommand{\longleftarrow}{\lcRawHtml{ <span class="sym">&larr;</span> }}
\newcommand{\Longleftarrow}{\lcRawHtml%
{< IMG ALT="Longleftarrow" BORDER=0 WIDTH=25 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Longleftarrow.gif"> }}
{<IMG ALT="Longleftarrow" BORDER=0 WIDTH=25 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Longleftarrow.gif"> }}
\newcommand{\longrightarrow}{\lcRawHtml{ <span class="sym">&rarr;</span> }}
\newcommand{\Longrightarrow}{\lcRawHtml{ <span class="sym">&rArr;</span> }}
\newcommand{\longleftrightarrow}{\lcRawHtml%
{< IMG ALT="longleftrightarrow" BORDER=0 WIDTH=30 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_longleftrightarrow.gif"> }}
{<IMG ALT="longleftrightarrow" BORDER=0 WIDTH=30 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_longleftrightarrow.gif"> }}
\newcommand{\Longleftrightarrow}{\lcRawHtml{ <span class="sym">&hArr;</span> }}
\newcommand{\longmapsto}{\lcRawHtml%
{< IMG ALT="longmapsto" BORDER=0 WIDTH=26 HEIGHT=9 ALIGN=BOTTOM SRC="cc_longmapsto.gif"> }}
{<IMG ALT="longmapsto" BORDER=0 WIDTH=26 HEIGHT=9 ALIGN=BOTTOM SRC="cc_longmapsto.gif"> }}
\newcommand{\hookrightarrow}{\lcRawHtml%
{< IMG ALT="hookrightarrow" BORDER=0 WIDTH=17 HEIGHT=9 ALIGN=BOTTOM SRC="cc_hookrightarrow.gif"> }}
{<IMG ALT="hookrightarrow" BORDER=0 WIDTH=17 HEIGHT=9 ALIGN=BOTTOM SRC="cc_hookrightarrow.gif"> }}
\newcommand{\rightharpoonup}{\lcRawHtml%
{< IMG ALT="rightharpoonup" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_rightharpoonup.gif"> }}
{<IMG ALT="rightharpoonup" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_rightharpoonup.gif"> }}
\newcommand{\rightharpoondown}{\lcRawHtml%
{< IMG ALT="rightharpoondown" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_rightharpoondown.gif"> }}
{<IMG ALT="rightharpoondown" BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_rightharpoondown.gif"> }}
\newcommand{\leadsto}{\lcRawHtml%
{< IMG ALT="leadsto" BORDER=0 WIDTH=16 HEIGHT=7 ALIGN=BOTTOM SRC="cc_leadsto.gif"> }}
{<IMG ALT="leadsto" BORDER=0 WIDTH=16 HEIGHT=7 ALIGN=BOTTOM SRC="cc_leadsto.gif"> }}
\newcommand{\uparrow}{\lcRawHtml%
{< IMG ALT="uparrow" BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_lowercase_uparrow.gif"> }}
{<IMG ALT="uparrow" BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_lowercase_uparrow.gif"> }}
\newcommand{\Uparrow}{\lcRawHtml%
{< IMG ALT="Uparrow" BORDER=0 WIDTH=10 HEIGHT=25 ALIGN=MIDDLE SRC="cc_uppercase_Uparrow.gif"> }}
{<IMG ALT="Uparrow" BORDER=0 WIDTH=10 HEIGHT=25 ALIGN=MIDDLE SRC="cc_uppercase_Uparrow.gif"> }}
\newcommand{\downarrow}{\lcRawHtml%
{< IMG ALT="downarrow" BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_lowercase_downarrow.gif"> }}
{<IMG ALT="downarrow" BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_lowercase_downarrow.gif"> }}
\newcommand{\Downarrow}{\lcRawHtml%
{< IMG ALT="Downarrow" BORDER=0 WIDTH=10 HEIGHT=25 ALIGN=MIDDLE SRC="cc_uppercase_Downarrow.gif"> }}
{<IMG ALT="Downarrow" BORDER=0 WIDTH=10 HEIGHT=25 ALIGN=MIDDLE SRC="cc_uppercase_Downarrow.gif"> }}
\newcommand{\updownarrow}{\lcRawHtml%
{< IMG ALT="updownarrow" BORDER=0 WIDTH=7 HEIGHT=29 ALIGN=MIDDLE SRC="cc_lowercase_updownarrow.gif"> }}
{<IMG ALT="updownarrow" BORDER=0 WIDTH=7 HEIGHT=29 ALIGN=MIDDLE SRC="cc_lowercase_updownarrow.gif"> }}
\newcommand{\Updownarrow}{\lcRawHtml%
{< IMG ALT="Updownarrow" BORDER=0 WIDTH=10 HEIGHT=26 ALIGN=MIDDLE SRC="cc_uppercase_Updownarrow.gif"> }}
{<IMG ALT="Updownarrow" BORDER=0 WIDTH=10 HEIGHT=26 ALIGN=MIDDLE SRC="cc_uppercase_Updownarrow.gif"> }}
\newcommand{\nearrow}{\lcRawHtml%
{< IMG ALT="nearrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_nearrow.gif"> }}
{<IMG ALT="nearrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_nearrow.gif"> }}
\newcommand{\searrow}{\lcRawHtml%
{< IMG ALT="searrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_searrow.gif"> }}
{<IMG ALT="searrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_searrow.gif"> }}
\newcommand{\swarrow}{\lcRawHtml%
{< IMG ALT="swarrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_swarrow.gif"> }}
{<IMG ALT="swarrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_swarrow.gif"> }}
\newcommand{\nwarrow}{\lcRawHtml%
{< IMG ALT="nwarrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_nwarrow.gif"> }}
{<IMG ALT="nwarrow" BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_nwarrow.gif"> }}
% +--------------------------------------------------------------------------
% | * Miscellaneous symbols following Table 3.7 page 43 in Lamport.
@ -830,55 +830,55 @@
\newcommand{\slash}{\verb+/+}
\newcommand{\aleph}{\lcRawHtml%
{< IMG ALT="aleph" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_aleph.gif"> }}
{<IMG ALT="aleph" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_aleph.gif"> }}
\newcommand{\hbar}{\lcRawHtml%
{< IMG ALT="hbar" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_hbar.gif"> }}
{<IMG ALT="hbar" BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_hbar.gif"> }}
\newcommand{\imath}{\lcRawHtml%
{< IMG ALT="imath" BORDER=0 WIDTH=4 HEIGHT=8 ALIGN=BOTTOM SRC="cc_imath.gif"> }}
{<IMG ALT="imath" BORDER=0 WIDTH=4 HEIGHT=8 ALIGN=BOTTOM SRC="cc_imath.gif"> }}
\newcommand{\jmath}{\lcRawHtml%
{< IMG ALT="jmath" BORDER=0 WIDTH=6 HEIGHT=17 ALIGN=MIDDLE SRC="cc_jmath.gif"> }}
{<IMG ALT="jmath" BORDER=0 WIDTH=6 HEIGHT=17 ALIGN=MIDDLE SRC="cc_jmath.gif"> }}
\newcommand{\ell}{\lcRawHtml{&#x2113;}}
\newcommand{\wp}{\lcRawHtml%
{< IMG ALT="wp" BORDER=0 WIDTH=9 HEIGHT=17 ALIGN=MIDDLE SRC="cc_wp.gif"> }}
{<IMG ALT="wp" BORDER=0 WIDTH=9 HEIGHT=17 ALIGN=MIDDLE SRC="cc_wp.gif"> }}
\newcommand{\Re}{\lcRawHtml%
{< IMG ALT="Re" BORDER=0 WIDTH=11 HEIGHT=13 ALIGN=BOTTOM SRC="cc_Re.gif"> }}
{<IMG ALT="Re" BORDER=0 WIDTH=11 HEIGHT=13 ALIGN=BOTTOM SRC="cc_Re.gif"> }}
\newcommand{\Im}{\lcRawHtml%
{< IMG ALT="Im" BORDER=0 WIDTH=11 HEIGHT=13 ALIGN=BOTTOM SRC="cc_Im.gif"> }}
{<IMG ALT="Im" BORDER=0 WIDTH=11 HEIGHT=13 ALIGN=BOTTOM SRC="cc_Im.gif"> }}
\newcommand{\mho}{\lcRawHtml%
{< IMG ALT="mho" BORDER=0 WIDTH=10 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mho.gif"> }}
{<IMG ALT="mho" BORDER=0 WIDTH=10 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mho.gif"> }}
\newcommand{\emptyset}{\lcRawHtml{&empty;}}
\newcommand{\nabla}{\lcRawHtml{<span class="sym">&nabla;</span>}}
\newcommand{\surd}{\lcRawHtml%
{< IMG ALT="surd" BORDER=0 WIDTH=13 HEIGHT=27 ALIGN=MIDDLE SRC="cc_surd.gif"> }}
{<IMG ALT="surd" BORDER=0 WIDTH=13 HEIGHT=27 ALIGN=MIDDLE SRC="cc_surd.gif"> }}
\newcommand{\top}{\lcRawHtml%
{< IMG ALT="top" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_top.gif"> }}
{<IMG ALT="top" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_top.gif"> }}
\newcommand{\bot}{\lcRawHtml%
{< IMG ALT="bot" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_bot.gif"> }}
{<IMG ALT="bot" BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_bot.gif"> }}
\newcommand{\angle}{\lcRawHtml{ <span class="sym">&ang;</span>}}
\newcommand{\forall}{\lcRawHtml{ <span class="sym">&forall;</span> }}
\newcommand{\exists}{\lcRawHtml{ <span class="sym">&exist;</span> }}
\newcommand{\flat}{\lcRawHtml%
{< IMG ALT="flat" BORDER=0 WIDTH=4 HEIGHT=14 ALIGN=BOTTOM SRC="cc_flat.gif"> }}
{<IMG ALT="flat" BORDER=0 WIDTH=4 HEIGHT=14 ALIGN=BOTTOM SRC="cc_flat.gif"> }}
\newcommand{\natural}{\lcRawHtml%
{< IMG ALT="natural" BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_natural.gif"> }}
{<IMG ALT="natural" BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_natural.gif"> }}
\newcommand{\sharp}{\lcRawHtml%
{< IMG ALT="sharp" BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_sharp.gif"> }}
{<IMG ALT="sharp" BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_sharp.gif"> }}
\newcommand{\partial}{\lcRawHtml{&part;}}
\newcommand{\infty}{\lcRawHtml{&infin;}}
\newcommand{\Box}{\lcRawHtml%
{< IMG ALT="Box" BORDER=0 WIDTH=10 HEIGHT=10 ALIGN=BOTTOM SRC="cc_Box.gif"> }}
{<IMG ALT="Box" BORDER=0 WIDTH=10 HEIGHT=10 ALIGN=BOTTOM SRC="cc_Box.gif"> }}
\newcommand{\Diamond}{\lcRawHtml%
{< IMG ALT="Diamond" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Diamond.gif"> }}
{<IMG ALT="Diamond" BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Diamond.gif"> }}
\newcommand{\triangle}{\lcRawHtml%
{< IMG ALT="triangle" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_triangle.gif"> }}
{<IMG ALT="triangle" BORDER=0 WIDTH=13 HEIGHT=21 ALIGN=MIDDLE SRC="cc_triangle.gif"> }}
\newcommand{\clubsuit}{\lcRawHtml%
{< IMG ALT="clubsuit" BORDER=0 WIDTH=13 HEIGHT=26 ALIGN=MIDDLE SRC="cc_clubsuit.gif"> }}
{<IMG ALT="clubsuit" BORDER=0 WIDTH=13 HEIGHT=26 ALIGN=MIDDLE SRC="cc_clubsuit.gif"> }}
\newcommand{\diamondsuit}{\lcRawHtml%
{< IMG ALT="diamondsuit" BORDER=0 WIDTH=11 HEIGHT=26 ALIGN=MIDDLE SRC="cc_diamondsuit.gif"> }}
{<IMG ALT="diamondsuit" BORDER=0 WIDTH=11 HEIGHT=26 ALIGN=MIDDLE SRC="cc_diamondsuit.gif"> }}
\newcommand{\heartsuit}{\lcRawHtml%
{< IMG ALT="heartsuit" BORDER=0 WIDTH=11 HEIGHT=22 ALIGN=MIDDLE SRC="cc_heartsuit.gif"> }}
{<IMG ALT="heartsuit" BORDER=0 WIDTH=11 HEIGHT=22 ALIGN=MIDDLE SRC="cc_heartsuit.gif"> }}
\newcommand{\spadesuit}{\lcRawHtml%
{< IMG ALT="spadesuit" BORDER=0 WIDTH=11 HEIGHT=26 ALIGN=MIDDLE SRC="cc_spadesuit.gif"> }}
{<IMG ALT="spadesuit" BORDER=0 WIDTH=11 HEIGHT=26 ALIGN=MIDDLE SRC="cc_spadesuit.gif"> }}
% +--------------------------------------------------------------------------

1
Matrix_search/package_info/Matrix_search/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Mesh_2/package_info/Mesh_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Mesh_3/package_info/Mesh_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_annulus_d/package_info/Min_annulus_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_circle_2/package_info/Min_circle_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_ellipse_2/package_info/Min_ellipse_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_quadrilateral_2/package_info/Min_quadrilateral_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_sphere_d/package_info/Min_sphere_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Min_sphere_of_spheres_d/package_info/Min_sphere_of_spheres_d/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Minkowski_sum_2/package_info/Minkowski_sum_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Minkowski_sum_3/package_info/Minkowski_sum_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Modifier/package_info/Modifier/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Modular_arithmetic/package_info/Modular_arithmetic/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Nef_2/package_info/Nef_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Nef_3/package_info/Nef_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Nef_S2/package_info/Nef_S2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Number_types/package_info/Number_types/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
OpenNL/package_info/OpenNL/license.txt Normal file
View File

@ -0,0 +1 @@
*No copyright* LGPL (v3)

1
Optimisation_basic/package_info/Optimisation_basic/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Partition_2/package_info/Partition_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Periodic_3_triangulation_3/package_info/Periodic_3_triangulation_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Point_set_2/package_info/Point_set_2/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Point_set_processing_3/package_info/Point_set_processing_3/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Polygon/package_info/Polygon/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

1
Polyhedron/package_info/Polyhedron/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Polyhedron_IO/package_info/Polyhedron_IO/license.txt Normal file
View File

@ -0,0 +1 @@
GPL (v3 or later)

1
Polynomial/package_info/Polynomial/license.txt Normal file
View File

@ -0,0 +1 @@
LGPL (v3 or later)

Some files were not shown because too many files have changed in this diff Show More