search

raphlinus / ghilbert

Automatically exported from code.google.com/p/ghilbert
Apache License 2.0
48 stars 4 forks source link

theorem list: give hypotheses and conclusions, and fix ellipses #4

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
At the list branch of https://github.com/jkingdon/ghilbert.git

(which can be browsed at https://github.com/jkingdon/ghilbert/tree/list )

there are changes to:

1. Show the hypotheses and conclusions of a theorem on the theorem list (a la 
metamath), and

2. Use CSS to put ellipses on the description, so that the ellipses cut off at 
the right edge of the window, not at 80 characters (which will be less than the 
right edge for many people, and furthermore will be different on each line).

Original issue reported on code.google.com by jkingdon...@gmail.com on 15 Oct 2012 at 5:26

GoogleCodeExporter commented 9 years ago 
Change merged into master branch and pushed to ghilbert-test.appspot.com. 
Thanks for the patch!

Original comment by r...@google.com on 15 Oct 2012 at 3:40