システム系
・proverに連動
・phpを固定ページに直接記述
・固定ページ一覧の右下ボタンを有効に
・古いDBが残っているっぽいのでどーする?
詳細ボタンは不要
・クリックしたら入力文字列が出てくる仕様を変更?
OK押下後、ページトップに移動してしまう
MathJax早見ページを参考に
・全固定ページで有効に(java,style)
・詳細のリンクを消す
・もしくはリストで表示しなくていい要素を非表示に
・proverに連動
・phpを固定ページに直接記述
・固定ページ一覧の右下ボタンを有効に
・古いDBが残っているっぽいのでどーする?
詳細ボタンは不要
・クリックしたら入力文字列が出てくる仕様を変更?
OK押下後、ページトップに移動してしまう
MathJax早見ページを参考に
・全固定ページで有効に(java,style)
・詳細のリンクを消す
・もしくはリストで表示しなくていい要素を非表示に
コマンドラインで操作する prover に値を渡す
コマンドラインのprover をサーバへインストール