| .. |
|
Algebraic_curve_kernel_2.h
|
replace internal use of boost::shared_ptr by std::shared_ptr
|
2021-04-28 10:55:26 +02:00 |
|
Algebraic_real_d_1.h
|
move documented IO functions in IO namespace
|
2021-05-05 13:15:37 +02:00 |
|
Algebraic_real_quadratic_refinement_rep_bfi.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Algebraic_real_rep.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Algebraic_real_rep_bfi.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Bitstream_coefficient_kernel.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Bitstream_coefficient_kernel_at_alpha.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 19:26:10 +01:00 |
|
Bitstream_descartes.h
|
Fix typos
|
2021-10-04 13:34:07 +02:00 |
|
Bitstream_descartes_E08_tree.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
Bitstream_descartes_rndl_tree.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
Bitstream_descartes_rndl_tree_traits.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Curve_analysis_2.h
|
move documented IO functions in IO namespace
|
2021-05-05 13:15:37 +02:00 |
|
Curve_pair_analysis_2.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
Descartes.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
Event_line_builder.h
|
move documented IO functions in IO namespace
|
2021-05-05 13:15:37 +02:00 |
|
Float_traits.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Interval_evaluate_1.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Interval_evaluate_2.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
LRU_hashed_map.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Real_embeddable_extension.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Real_roots.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Shear_controller.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Shear_transformation.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Status_line_CA_1.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Status_line_CPA_1.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
Xy_coordinate_2.h
|
move documented IO functions in IO namespace
|
2021-05-05 13:15:37 +02:00 |
|
algebraic_curve_kernel_2_tools.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
bound_between_1.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
construct_binary.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
enums.h
|
Uniformize capital / third person usage of \brief
|
2020-06-25 15:13:47 +02:00 |
|
exceptions.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
flags.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
macros.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
refine_zero_against.h
|
Do the same for the another function
|
2022-03-16 14:53:06 +01:00 |
|
shear.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |
|
univariate_polynomial_utils.h
|
extra run of the script to remove tabs and trailing whitespaces
|
2020-03-26 14:16:06 +01:00 |