Skip to content

Commit

Permalink
fixed misc typos
Browse files Browse the repository at this point in the history
  • Loading branch information
michael.gruninger committed Jan 26, 2014
1 parent 6a3e789 commit 165a681
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions ontologies/hilbert_geometry/hilbert_congruence.clif
View file
@@ -1,9 +1,9 @@


(cl-text http://colore.oor.net/hilbert_geometry/hilbert_congruence.clif (cl-text http://colore.oor.net/hilbert_geometry/hilbert_congruence.clif


(cl-imports http://colore.oor.net/hilbert_geometry/hilbert_incidence.clif) (cl-imports http://colore.oor.net/bipartite_incidencde/hilbert_incidence.clif)


(cl-imports http://colore.oor.net/hilbert_geometry/plane_order.clif) (cl-imports http://colore.oor.net/ordered_geometry/plane_order.clif)




) )
2 changes: 1 addition & 1 deletion ontologies/planar_mereology/weak_line_planar.clif
View file
Expand Up @@ -3,6 +3,6 @@


(cl-imports http://colore.oor.net/planar_mereology/wpm.clif) (cl-imports http://colore.oor.net/planar_mereology/wpm.clif)


(cl-imports http://colore.oor.net/tripartite_incidence/weak_plane_existence.clif) (cl-imports http://colore.oor.net/tripartite_incidence/weak_plane_point_existence.clif)


) )

0 comments on commit 165a681

Please sign in to comment.