check point, updating Mosaic with pencil dirs and jdk-23
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Thu, 5 Dec 2024 09:41:47 +0000 (09:41 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Thu, 5 Dec 2024 09:41:47 +0000 (09:41 +0000)
commit43611a5ca993d69a3a3975e3cf6fee11d9a17eec
tree4954e48c0198247b0bd644b0ae7138da4d6980cb
parent09d16ba463ab71be9855b29a952e03be988f9934
check point, updating Mosaic with pencil dirs and jdk-23
53 files changed:
developer/bash/.githolder [new file with mode: 0644]
developer/bash/Mosaic [new file with mode: 0755]
developer/document/build_transcript_v1.0.txt [deleted file]
developer/document/build_transcript_v1.1.txt [deleted file]
developer/document/the_build_environmet.txt [deleted file]
developer/documentđź–‰/build_transcript_v1.0.txt [new file with mode: 0644]
developer/documentđź–‰/build_transcript_v1.1.txt [new file with mode: 0644]
developer/documentđź–‰/the_build_environmet.txt [new file with mode: 0644]
developer/javac/Mosaic_IO.java [deleted file]
developer/javac/Mosaic_Mosaic.java [deleted file]
developer/javac/Mosaic_Testbench.java [deleted file]
developer/javac/Mosaic_Util.java [deleted file]
developer/javacđź–‰/Mosaic_IO.java [new file with mode: 0644]
developer/javacđź–‰/Mosaic_Mosaic.java [new file with mode: 0644]
developer/javacđź–‰/Mosaic_Testbench.java [new file with mode: 0644]
developer/javacđź–‰/Mosaic_Util.java [new file with mode: 0644]
developer/shell/.githolder [deleted file]
developer/shell/Mosaic [deleted file]
developer/tool/clean_build_directories [deleted file]
developer/tool/clean_javac_output [deleted file]
developer/tool/clean_make_output [deleted file]
developer/tool/clean_release [deleted file]
developer/tool/distribute_source [deleted file]
developer/tool/env [deleted file]
developer/tool/make [deleted file]
developer/tool/release [deleted file]
developer/tool/shell_wrapper_list [deleted file]
developer/toolđź–‰/clean_build_directories [new file with mode: 0755]
developer/toolđź–‰/clean_javac_output [new file with mode: 0755]
developer/toolđź–‰/clean_make_output [new file with mode: 0755]
developer/toolđź–‰/clean_release [new file with mode: 0755]
developer/toolđź–‰/distribute_source [new file with mode: 0755]
developer/toolđź–‰/env [new file with mode: 0644]
developer/toolđź–‰/make [new file with mode: 0755]
developer/toolđź–‰/release [new file with mode: 0755]
developer/toolđź–‰/shell_wrapper_list [new file with mode: 0755]
document/An_Introduction_to_Structured_Testing.html [deleted file]
document/license.txt [deleted file]
document/readme.txt [deleted file]
document/todo.txt [deleted file]
documentđź–‰/An_Introduction_to_Structured_Testing.html [new file with mode: 0644]
documentđź–‰/license.txt [new file with mode: 0644]
documentđź–‰/readme.txt [new file with mode: 0644]
documentđź–‰/todo.txt [new file with mode: 0644]
tool/.githolder [deleted file]
tool/env [deleted file]
tool_shared/document/#install_java.txt# [deleted file]
tool_shared/document/install_java.txt [deleted file]
tool_shared/documentđź–‰/#install_java.txt# [new file with mode: 0644]
tool_shared/documentđź–‰/install.txt [new file with mode: 0644]
tool_shared/documentđź–‰/install_emacs.txt [new file with mode: 0644]
toolđź–‰/.githolder [new file with mode: 0644]
toolđź–‰/env [new file with mode: 0644]