Philipp Möller e65a8028ea Replace tex-style quotes with quotes that you would expect, as there ...

is no way to handle them in the converter.

Needs to be revert before this is being merged into next.

2012-08-02 12:55:15 +00:00

..

approx_convex_partition_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

convex_partition_is_valid_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

ConvexPartitionIsValidTraits_2.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

greene_approx_convex_partition_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

intro.tex

Replace tex-style quotes with quotes that you would expect, as there

2012-08-02 12:55:15 +00:00

Is_convex_2.tex

…

Is_vacuously_valid.tex

…

is_y_monotone_2.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

Is_y_monotone_2_FO.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

IsYMonotoneTraits_2.tex

…

main.tex

…

optimal_convex_partition_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

OptimalConvexPartitionTraits_2.tex

Fix \ccGeneralizes -> \ccRefines.

2009-04-07 19:25:04 +00:00

partition_is_valid_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

Partition_is_valid_traits_2.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

Partition_traits_2.tex

…

PartitionIsValidTraits_2.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

PartitionTraits_2.tex

…

PolygonIsValid.tex

Replace tex-style quotes with quotes that you would expect, as there

2012-08-02 12:55:15 +00:00

y_monotone_partition_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

y_monotone_partition_is_valid_2.tex

Merge the changes to ccPrecond and ccPostcond that have been in

2012-06-20 13:57:36 +00:00

YMonotonePartitionIsValidTraits_2.tex

Use \ccc{} around concept names (protects the spell checker).

2007-04-17 16:12:18 +00:00

YMonotonePartitionTraits_2.tex

Fix \ccGeneralizes -> \ccRefines.

2009-04-07 19:25:04 +00:00