nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

History for RDLProofSystem / src / main / java / models / terms / Dependency.java

2026-08-06	9afd5d5 Browse files » 複数引数の代入など修正 Sakoda2269 committed on 6 Aug
2026-07-17	726524b Browse files » toString修正 Sakoda2269 committed on 17 Jul
	82a1284 Browse files » syntax errorを追加 Sakoda2269 committed on 17 Jul
	0bd982a Browse files » dependencyのdependedTermsをSetに変更 Sakoda2269 committed on 17 Jul
2026-07-09	c951b38 Browse files » 依存項を翔るようにした Sakoda2269 committed on 9 Jul
2026-06-13	38c95e9 Browse files » dependencyが依存リソースを複数持てるようにした Sakoda2269 committed on 13 Jun
2026-05-18	392f8b6 Browse files » ディレクトリ構造変更 Sakoda2269 committed on 18 May