Add first version of main page text#116
Conversation
TimothyGillespie
left a comment
TimothyGillespie
left a comment
There was a problem hiding this comment.
I'd be happy with that. It's good.
| einen Beweis lösen soll. Will man eine eigene Aussage formulieren und beweisen, | ||
| kann man die Kategorie "Freies Üben" dafür nutzen. Wenn man noch nicht | ||
| allzu vertraut mit der Theorie hinter dem ist, was man beweisen möchte, findet | ||
| man im "Wiki" einige Informationen dazu. Bei Problemen befinden sich unter "Kontakt" |
There was a problem hiding this comment.
Hier würde fehlen welche Probleme. Technische? Fachliche? Könnte man im Kontakt auch unterbringen.
There was a problem hiding this comment.
Stimmt, das sollte da stehen. Da aber sowieso noch nicht ganz klar ist, wer da später unter Kontakt erwähnt werden soll, würde ich das auf einen späteren Zeitpunkt auslagern. Sollten wir nur im Hinterkopf behalten.
| return <div className={"addStyleHere"}> | ||
| <p>Willkommen auf unserer Startseite. Das hier sieht noch sehr nach Baustelle aus...</p> | ||
| <h1>Willkommen bei Diproche!</h1> | ||
| <p>"Diproche" steht für "Didactical proof checking". Das heißt im Wesentlichen, dass Diproche die |
There was a problem hiding this comment.
So ein tag der mehrere Zeilen beinhaltet ist glaube ich am lesbarsten untergebracht, wenn man diese Zeile noch in eine neue packt und dann ist alles eingeschobene der reine Text.
There was a problem hiding this comment.
Das dürfte alles lesbarer machen. Da stimme ich dir zu.
| @@ -4,7 +4,17 @@ class ProofEditor extends React.Component { | |||
|
|
|||
| public render() { | |||
| return <div className={"addStyleHere"}> | |||
There was a problem hiding this comment.
className can be removed. I think this was inserted to just mark a possible stylesheet location, but it doesn't do anything as of now.
I might have even inserted it back then, but I am not sure anymore.
|
Feel free to still change the text though. |
|
As the PR was approved before and I only changed minor things, I will merge now. |
2 participants
This adresses #115, but might be changed due to further additions and the open questions in #115