no more pencils core_developer_branch
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Oct 2025 03:27:22 +0000 (03:27 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Oct 2025 03:27:22 +0000 (03:27 +0000)
commitc434dbe0995b4976b1e64f2456f5e7f94a20d710
treef4742d31473465226556115f55b5ea38b3cd68e0
parent167a91e33a637bb95b3fdfa9a47bd483bbbeb6bb
no more pencils
173 files changed:
developer/Python/fill_template [new file with mode: 0755]
developer/Python/make_N_constants.py [new file with mode: 0755]
developer/Python/template_N.py [new file with mode: 0644]
developer/Python/template_conversion.py [new file with mode: 0644]
developer/Python🖉/fill_template [deleted file]
developer/Python🖉/make_N_constants.py [deleted file]
developer/Python🖉/template_N.py [deleted file]
developer/Python🖉/template_conversion.py [deleted file]
developer/cc🖉/Core.lib.c [deleted file]
developer/cc🖉/ParameterConnector.lib.c [deleted file]
developer/cc🖉/TM.lib.c [deleted file]
developer/cc🖉/TM·Array.lib.c [deleted file]
developer/cc🖉/TM·SingletonCircle.lib.c [deleted file]
developer/cc🖉/TM·SingletonSegment.lib.c [deleted file]
developer/cc🖉/TM·ZeroLength.lib.c [deleted file]
developer/cc🖉/cpp_ext.c [deleted file]
developer/cc🖉/cpp_ext_0.c [deleted file]
developer/cc🖉/cpp_ext_1.c [deleted file]
developer/cc🖉/scratch.c [deleted file]
developer/deprecated/.githolder [new file with mode: 0644]
developer/deprecated/2025-03-29/N16.lib.c [new file with mode: 0644]
developer/deprecated/2025-03-29/N32.lib.c [new file with mode: 0644]
developer/deprecated/2025-03-29/N64.lib.c [new file with mode: 0644]
developer/deprecated/2025-03-29/N8.lib.c [new file with mode: 0644]
developer/deprecated/2025-03-29/TM_scratch.c [new file with mode: 0644]
developer/deprecated/2025-03-29/environment.h [new file with mode: 0644]
developer/deprecated/2025-03-29/test_setup.cli.c [new file with mode: 0644]
developer/deprecated/2025-03-29/update.lib.c [new file with mode: 0644]
developer/deprecated/About_Python_templates.org [new file with mode: 0644]
developer/deprecated/Copy.lib.c [new file with mode: 0644]
developer/deprecated/Copy.lib_2.c [new file with mode: 0644]
developer/deprecated/Core_with_tableau.lib.c [new file with mode: 0644]
developer/deprecated/Map.lib.c [new file with mode: 0644]
developer/deprecated/Map2.lib.c [new file with mode: 0644]
developer/deprecated/NN_Count_Digit.lib.c [new file with mode: 0644]
developer/deprecated/N_32_test.cli.c [new file with mode: 0644]
developer/deprecated/Natural_32.lib.c [new file with mode: 0644]
developer/deprecated/Natural_32_0.lib.c [new file with mode: 0644]
developer/deprecated/adding_new_N_types.org [new file with mode: 0644]
developer/deprecated/copy.lib.c [new file with mode: 0644]
developer/deprecated/scatch.c [new file with mode: 0644]
developer/deprecated/test_Natural_32_0.cli.c [new file with mode: 0644]
developer/deprecated🖉/.githolder [deleted file]
developer/deprecated🖉/2025-03-29/N16.lib.c [deleted file]
developer/deprecated🖉/2025-03-29/N32.lib.c [deleted file]
developer/deprecated🖉/2025-03-29/N64.lib.c [deleted file]
developer/deprecated🖉/2025-03-29/N8.lib.c [deleted file]
developer/deprecated🖉/2025-03-29/TM_scratch.c [deleted file]
developer/deprecated🖉/2025-03-29/environment.h [deleted file]
developer/deprecated🖉/2025-03-29/test_setup.cli.c [deleted file]
developer/deprecated🖉/2025-03-29/update.lib.c [deleted file]
developer/deprecated🖉/About_Python_templates.org [deleted file]
developer/deprecated🖉/Copy.lib.c [deleted file]
developer/deprecated🖉/Copy.lib_2.c [deleted file]
developer/deprecated🖉/Core_with_tableau.lib.c [deleted file]
developer/deprecated🖉/Map.lib.c [deleted file]
developer/deprecated🖉/Map2.lib.c [deleted file]
developer/deprecated🖉/NN_Count_Digit.lib.c [deleted file]
developer/deprecated🖉/N_32_test.cli.c [deleted file]
developer/deprecated🖉/Natural_32.lib.c [deleted file]
developer/deprecated🖉/Natural_32_0.lib.c [deleted file]
developer/deprecated🖉/adding_new_N_types.org [deleted file]
developer/deprecated🖉/copy.lib.c [deleted file]
developer/deprecated🖉/scatch.c [deleted file]
developer/deprecated🖉/test_Natural_32_0.cli.c [deleted file]
developer/document/.githolder [new file with mode: 0644]
developer/document/Binding.org [new file with mode: 0644]
developer/document/C_features_needed.org [new file with mode: 0644]
developer/document/Copy.org [new file with mode: 0644]
developer/document/FG_tables.org [new file with mode: 0644]
developer/document/TapeMachine_howto.org [new file with mode: 0644]
developer/document/alignment.org [new file with mode: 0644]
developer/document/build.org [new file with mode: 0644]
developer/document/coffee.txt [new file with mode: 0644]
developer/document/cpp_gothyas.txt [new file with mode: 0644]
developer/document/cpp_grammar.org [new file with mode: 0644]
developer/document/cpp_macro_expansion.org [new file with mode: 0644]
developer/document/parameterized_functions.org [new file with mode: 0644]
developer/document/set_list.org [new file with mode: 0644]
developer/document/source_file_sectioins.org [new file with mode: 0644]
developer/document/template_in_C.org [new file with mode: 0644]
developer/document/todo.org [new file with mode: 0644]
developer/document🖉/.githolder [deleted file]
developer/document🖉/Binding.org [deleted file]
developer/document🖉/C_features_needed.org [deleted file]
developer/document🖉/Copy.org [deleted file]
developer/document🖉/FG_tables.org [deleted file]
developer/document🖉/TapeMachine_howto.org [deleted file]
developer/document🖉/alignment.org [deleted file]
developer/document🖉/build.org [deleted file]
developer/document🖉/coffee.txt [deleted file]
developer/document🖉/cpp_gothyas.txt [deleted file]
developer/document🖉/cpp_grammar.org [deleted file]
developer/document🖉/cpp_macro_expansion.org [deleted file]
developer/document🖉/parameterized_functions.org [deleted file]
developer/document🖉/set_list.org [deleted file]
developer/document🖉/source_file_sectioins.org [deleted file]
developer/document🖉/template_in_C.org [deleted file]
developer/document🖉/todo.org [deleted file]
developer/tool/clean [new file with mode: 0755]
developer/tool/env [new file with mode: 0644]
developer/tool/make [new file with mode: 0755]
developer/tool/makefile [new file with mode: 0644]
developer/tool/release [new file with mode: 0755]
developer/tool/release_clean [new file with mode: 0755]
developer/tool🖉/clean [deleted file]
developer/tool🖉/env [deleted file]
developer/tool🖉/make [deleted file]
developer/tool🖉/makefile [deleted file]
developer/tool🖉/release [deleted file]
developer/tool🖉/release_clean [deleted file]
document/#Model.org# [new file with mode: 0644]
document/#temp.txt# [new file with mode: 0644]
document/.githolder [new file with mode: 0644]
document/Abstracting_Type_in_C.org [new file with mode: 0644]
document/Inclusive_Exclusive_interval_bounds.org [new file with mode: 0644]
document/Model.org [new file with mode: 0644]
document/RT_C_namespace.org [new file with mode: 0644]
document/RT_C_tableau_methhod.org [new file with mode: 0644]
document/RT_cli_c_file.org [new file with mode: 0644]
document/RT_lib_c_file.org [new file with mode: 0644]
document/User_manual.org [new file with mode: 0644]
document/continuations.org [new file with mode: 0644]
document/emacs_keys.el [new file with mode: 0644]
document/temp.txt [new file with mode: 0644]
document/unicode_character_use.org [new file with mode: 0644]
document🖉/#Model.org# [deleted file]
document🖉/#temp.txt# [deleted file]
document🖉/.githolder [deleted file]
document🖉/Abstracting_Type_in_C.org [deleted file]
document🖉/Inclusive_Exclusive_interval_bounds.org [deleted file]
document🖉/Model.org [deleted file]
document🖉/RT_C_namespace.org [deleted file]
document🖉/RT_C_tableau_methhod.org [deleted file]
document🖉/RT_cli_c_file.org [deleted file]
document🖉/RT_lib_c_file.org [deleted file]
document🖉/User_manual.org [deleted file]
document🖉/continuations.org [deleted file]
document🖉/emacs_keys.el [deleted file]
document🖉/temp.txt [deleted file]
document🖉/unicode_character_use.org [deleted file]
tester/cc/cc/environment.h [new file with mode: 0644]
tester/cc/cc/test_Copy_0.cli.c [new file with mode: 0644]
tester/cc/cc/test_setup.cli.c [new file with mode: 0644]
tester/cc🖉/environment.h [deleted file]
tester/cc🖉/test_Copy_0.cli.c [deleted file]
tester/cc🖉/test_setup.cli.c [deleted file]
tester/deprecated/test_N32.cli.c [new file with mode: 0644]
tester/deprecated🖉/test_N32.cli.c [deleted file]
tester/document/build_procedure.org [new file with mode: 0644]
tester/document🖉/build_procedure.org [deleted file]
tester/tool/clean [new file with mode: 0755]
tester/tool/env [new file with mode: 0644]
tester/tool/make [new file with mode: 0755]
tester/tool/makefile [new file with mode: 0644]
tester/tool/release_pull [new file with mode: 0755]
tester/tool/release_remove [new file with mode: 0755]
tester/tool🖉/clean [deleted file]
tester/tool🖉/env [deleted file]
tester/tool🖉/make [deleted file]
tester/tool🖉/makefile [deleted file]
tester/tool🖉/release_pull [deleted file]
tester/tool🖉/release_remove [deleted file]
tool/add_git_holder [new file with mode: 0755]
tool/env [new file with mode: 0644]
tool_shared/bespoke/env [new file with mode: 0644]
tool_shared/bespoke/version [new file with mode: 0755]
tool_shared/bespoke🖉/env [deleted file]
tool_shared/bespoke🖉/version [deleted file]
tool_shared/document/install.txt [new file with mode: 0644]
tool_shared/document🖉/install.txt [deleted file]
tool🖉/add_git_holder [deleted file]
tool🖉/env [deleted file]