Skip to content

Commit

Permalink
doing a pass on diagrams to uniform them a bit
Browse files Browse the repository at this point in the history
  • Loading branch information
Ducasse committed Oct 21, 2024
1 parent c9a7378 commit 452f845
Show file tree
Hide file tree
Showing 9 changed files with 32 additions and 32 deletions.
64 changes: 32 additions & 32 deletions Chapters/ObjVTheory/ObjVTheory.md

Large diffs are not rendered by default.

Binary file modified Chapters/ObjVTheory/figures/ObjVlispSingleton2.graffle
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/ObjVlispSingleton2.pdf
100755 → 100644
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-InstantiationLink.graffle
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-InstantiationLink.pdf
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-Singleton.graffle
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-Singleton.pdf
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-SingletonTwo.graffle
Binary file not shown.
Binary file modified Chapters/ObjVTheory/figures/Ref-SingletonTwo.pdf
Binary file not shown.

0 comments on commit 452f845

Please sign in to comment.