search

csl-622 / metamath

0 stars 1 forks source link

Definitions, common notions nodes #1

Closed ravikiranrao closed 5 years ago

ravikiranrao commented 6 years ago

There are no nodes for definitions and common notions. Inclusion of this would result in the non-isolated nodes. @csl-622/metamath

ravikiranrao commented 5 years ago

Change the colour of nodes for these types. Rest everything looks fine.

dhillonpreet commented 5 years ago

Ok sir we will change the colors

On Sat, Nov 10, 2018 at 3:34 PM ravikiranrao notifications@github.com wrote:

Change the colour of nodes for these types. Rest everything looks fine.

— You are receiving this because you are on a team that was mentioned. Reply to this email directly, view it on GitHub https://github.com/csl-622/metamath/issues/1#issuecomment-437572709, or mute the thread https://github.com/notifications/unsubscribe-auth/Ai9LxwBuynKbY2kz4hC4tkN-GLuxnp0Xks5utqSpgaJpZM4YNUeO .

-- Gurkaranpreet Singh Dhillon Representative, Arturo - Photography Club. 2nd Year, Computer Science and Engineering, IIT Ropar. Mobile: +919872130638