Skip to content
This repository has been archived by the owner on Sep 21, 2021. It is now read-only.

Update Orthogonal Projections #33

Merged
merged 1 commit into from
Aug 28, 2018
Merged

Update Orthogonal Projections #33

merged 1 commit into from
Aug 28, 2018

Conversation

Nosferican
Copy link
Collaborator

No description provided.

@Nosferican Nosferican added this to the Update to 0.7/1.0 syntax milestone Aug 28, 2018
@Nosferican Nosferican self-assigned this Aug 28, 2018
@Nosferican Nosferican requested a review from arnavs August 28, 2018 06:54
@arnavs arnavs mentioned this pull request Aug 28, 2018
Closed
53 tasks
arnavs
arnavs approved these changes Aug 28, 2018
View reviewed changes
Copy link
Member

@arnavs arnavs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This lecture is kosher. When the Jupinx team has some spare time, we should let them know there's an issue with how \RR renders (i.e., it renders exactly as \RR, instead of ℝ).

@arnavs arnavs merged commit f1e8984 into master Aug 28, 2018
@Nosferican
Copy link
Collaborator Author

They are aware of the issue and is a feature that they haven't included, but are working on it.

@arnavs arnavs deleted the Update-Orthogonal_Projections branch August 29, 2018 03:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@arnavs arnavs arnavs approved these changes

Assignees

@Nosferican Nosferican

Labels
None yet
Projects
None yet
Milestone
Update to 0.7/1.0 syntax
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Nosferican @arnavs