support secondary/refined info set

mathtalks / settheory.mathtalks.org

Source for the site settheory.mathtalks.org

https://settheory.mathtalks.org

0 stars 0 forks source link

Closed pkra closed 5 years ago

pkra commented 5 years ago

We want to allow manually tweaked content.

scoskey commented 5 years ago

Let's shelve this. I think it would be fairly unclear.