[acl2/acl2] feccc7: Preliminary work toward making xdoc more mobile-fr...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: feccc7d42e71e366c4dff33a5e04e79d6c868c1d
https://github.com/acl2/acl2/commit/feccc7d42e71e366c4dff33a5e04e79d6c868c1d
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-22 (Sun, 22 Mar 2015)

Changed paths:
M books/xdoc/fancy/.gitignore
M books/xdoc/fancy/Makefile
A books/xdoc/fancy/common.scss
A books/xdoc/fancy/desktop.scss
M books/xdoc/fancy/index.html
A books/xdoc/fancy/mobile.scss
R books/xdoc/fancy/style.css
A books/xdoc/fancy/style.scss

Log Message:
-----------
Preliminary work toward making xdoc more mobile-friendly

- Switch stylesheets to use SASS

- Add stylesheet for narrow displays and tweak margins, etc.

- Hide navigation and certain top buttons that probably don't
make sense on mobile (printing, downloading)

Still needs at least a button to bring up the navigation screen,
and also I haven't tested it on any mobile devices yet.


Commit: 145429cc6709821567b78e1ddd3761d6b3e36894
https://github.com/acl2/acl2/commit/145429cc6709821567b78e1ddd3761d6b3e36894
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-23 (Mon, 23 Mar 2015)

Changed paths:
A books/xdoc/fancy/README
M books/xdoc/fancy/common.scss
M books/xdoc/fancy/index.html
A books/xdoc/fancy/menu_mobile.png
M books/xdoc/fancy/mobile.scss
M books/xdoc/fancy/xdoc.js

Log Message:
-----------
Mobile xdoc improvements...

- Added button to toggle mobile navigation
- Fixed tricky styling issue with the jump-to box being too wide

There are some problems with the way the mobile menu works right now, viz. it
can get hidden when the page or fonts are resized. Aside from that things are
looking pretty good.


Commit: 5e2e1775eff6912b8f62c6e0069e11c8f5f36be9
https://github.com/acl2/acl2/commit/5e2e1775eff6912b8f62c6e0069e11c8f5f36be9
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-27 (Fri, 27 Mar 2015)

Changed paths:
M books/xdoc/fancy/desktop.scss
M books/xdoc/fancy/menu_mobile.png
M books/xdoc/fancy/mobile.scss
M books/xdoc/fancy/xdoc.js

Log Message:
-----------
Iron out remaining known bugs in mobile version.


Commit: 60ba9fb6ab399463ae4c799b5f0521a1150b995e
https://github.com/acl2/acl2/commit/60ba9fb6ab399463ae4c799b5f0521a1150b995e
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-28 (Sat, 28 Mar 2015)

Changed paths:
M books/xdoc/fancy/.gitignore
M books/xdoc/fancy/Makefile
A books/xdoc/fancy/README
A books/xdoc/fancy/common.scss
A books/xdoc/fancy/desktop.scss
M books/xdoc/fancy/index.html
A books/xdoc/fancy/menu_mobile.png
A books/xdoc/fancy/mobile.scss
R books/xdoc/fancy/style.css
A books/xdoc/fancy/style.scss
M books/xdoc/fancy/xdoc.js

Log Message:
-----------
Merge branch 'mobile'


Commit: 7525b8e4d6dfde1d6f74f2a011f5cf56e421dda8
https://github.com/acl2/acl2/commit/7525b8e4d6dfde1d6f74f2a011f5cf56e421dda8
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-28 (Sat, 28 Mar 2015)

Changed paths:
M books/xdoc/fancy/.gitignore
A books/xdoc/fancy/desktop.css
A books/xdoc/fancy/mobile.css
M books/xdoc/fancy/mobile.scss

Log Message:
-----------
Minor xdoc fancy manual improvements:

- Fix height issue on mobile navigation bar (it was going past the end
of the page).

- Put (generated) mobile.css/desktop.css files into the git repository
so that normal ACL2 users can build working manuals without needing
to install SASS.


Commit: 4c172952c5c9bef99547ecc8dad2d2742205917e
https://github.com/acl2/acl2/commit/4c172952c5c9bef99547ecc8dad2d2742205917e
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-31 (Tue, 31 Mar 2015)

Changed paths:
M books/xdoc/fancy/mobile.css
M books/xdoc/fancy/mobile.scss
M books/xdoc/fancy/xdoc.js

Log Message:
-----------
Minor fixes for xdoc mobile

- Awful hack to try to make sure powertips get turned off at
various places, to avoid problems on mobile browsers

- Make mobile navigation menu items fatter for compatibility
with fingers


Commit: 7af8cf1deb34d02db215eea22ca5af61ef88b612
https://github.com/acl2/acl2/commit/7af8cf1deb34d02db215eea22ca5af61ef88b612
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-03-31 (Tue, 31 Mar 2015)

Changed paths:
M acl2-fns.lisp
M axioms.lisp
M basis-a.lisp
M basis-b.lisp
M books/arithmetic-3/README
M books/arithmetic-5/README
M books/build/make_cert_help.pl
M books/centaur/4v-sexpr/portcullis.acl2
M books/centaur/aignet/package.lsp
M books/centaur/bridge/acl2-customization.lsp
M books/centaur/bridge/portcullis.acl2
M books/centaur/esim/packages.lsp
M books/centaur/gl/portcullis.acl2
M books/centaur/misc/beta-reduce-full.acl2
M books/centaur/misc/dag-measure-thms.acl2
M books/centaur/misc/dag-measure.acl2
M books/centaur/misc/tailrec.acl2
M books/centaur/satlink/package.lsp
M books/centaur/ubdds/witness.acl2
M books/centaur/vl/other-packages.lsp
M books/centaur/vl/portcullis.acl2
M books/centaur/vl2014/other-packages.lsp
M books/centaur/vl2014/portcullis.acl2
M books/clause-processors/autohide.acl2
M books/clause-processors/constant-prop.acl2
M books/clause-processors/equality.acl2
M books/clause-processors/find-matching.acl2
M books/clause-processors/generalize.acl2
M books/clause-processors/let-abstraction.acl2
M books/clause-processors/meta-extract-user.acl2
M books/clause-processors/replace-defined-consts.acl2
M books/clause-processors/unify-subst.acl2
M books/clause-processors/witness-cp.acl2
M books/hacking/dynamic-make-event-test.acl2
M books/projects/regex/portcullis.acl2
M books/std/util/defines.acl2
M books/system/doc/acl2-doc.lisp
M books/system/extend-pathname.lisp
M books/system/too-many-ifs.acl2
M books/tools/defsum.lisp
M books/workshops/2006/swords-cook/lcsoundness/defsum.lisp
M defthm.lisp
M doc.lisp
M history-management.lisp
M ld.lisp
M other-events.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master' into mobile


Commit: 77c8d2898c958ffa4981729018efa4b1a7c7e368
https://github.com/acl2/acl2/commit/77c8d2898c958ffa4981729018efa4b1a7c7e368
Author: Jared Davis <ja...@kookamara.com>
Date: 2015-04-01 (Wed, 01 Apr 2015)

Changed paths:
M books/misc/assert.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master' into mobile


Commit: ab920273520f622dc4d047e1ed85039acdaf153e
https://github.com/acl2/acl2/commit/ab920273520f622dc4d047e1ed85039acdaf153e
Author: Jared Davis <jared....@gmail.com>
Date: 2015-04-01 (Wed, 01 Apr 2015)

Changed paths:
M books/xdoc/fancy/.gitignore
M books/xdoc/fancy/Makefile
A books/xdoc/fancy/README
A books/xdoc/fancy/common.scss
A books/xdoc/fancy/desktop.css
A books/xdoc/fancy/desktop.scss
M books/xdoc/fancy/index.html
A books/xdoc/fancy/menu_mobile.png
A books/xdoc/fancy/mobile.css
A books/xdoc/fancy/mobile.scss
R books/xdoc/fancy/style.css
A books/xdoc/fancy/style.scss
M books/xdoc/fancy/xdoc.js

Log Message:
-----------
Merge pull request #363 from jaredcdavis/mobile

Better support for mobile devices in fancy XDOC viewer


Compare: https://github.com/acl2/acl2/compare/5b09a8d54892...ab920273520f

[GitHub]

Branch: refs/heads/testing

Commit: 5b09a8d548929da413ffabf70d58abec7228cc0b
https://github.com/acl2/acl2/commit/5b09a8d548929da413ffabf70d58abec7228cc0b
Author: MattKaufmann <matthew.j...@gmail.com>

Date: 2015-04-01 (Wed, 01 Apr 2015)

Changed paths:
M books/misc/assert.lisp

Log Message:
-----------

Added documentation to books/misc/assert.lisp. Closes Issue 362.

Commit: 64ecb5dfe38fb17aa34d8d1308ad776930520a1d
https://github.com/acl2/acl2/commit/64ecb5dfe38fb17aa34d8d1308ad776930520a1d
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2015-04-02 (Thu, 02 Apr 2015)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Tweaked :doc note-7-1 entry about ld-error-action as per feedback from J.


Commit: 907938fc7ad8b5a7b7a03beee18978fa3ba412f9
https://github.com/acl2/acl2/commit/907938fc7ad8b5a7b7a03beee18978fa3ba412f9
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2015-04-03 (Fri, 03 Apr 2015)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Fixed trivial typo in :doc declare.


Commit: d8ee488e30fea0743769bcf4f9cf0002204af383
https://github.com/acl2/acl2/commit/d8ee488e30fea0743769bcf4f9cf0002204af383
Author: David L. Rager <rag...@gmail.com>
Date: 2015-04-03 (Fri, 03 Apr 2015)

Changed paths:
M books/centaur/esim/defmodules.lisp

Log Message:
-----------
Merge commit '6d427ea865381507bc69e4bbd0d7db6751b97fc5' into HEAD


Commit: fb8e2f8621745fce8b20b3ec6f84bc3f7922e42c
https://github.com/acl2/acl2/commit/fb8e2f8621745fce8b20b3ec6f84bc3f7922e42c
Author: ragerdl <rag...@gmail.com>
Date: 2015-04-04 (Sat, 04 Apr 2015)

Changed paths:
M books/projects/leftist-trees/leftist-tree-defthms.lisp
M books/projects/leftist-trees/leftist-tree-defuns.lisp
M books/projects/leftist-trees/leftist-tree-sort-equivalent.lisp
M books/projects/leftist-trees/leftist-tree-sort-equivalent2.lisp
M books/projects/leftist-trees/leftist-tree-sort-equivalent3.lisp
M books/projects/leftist-trees/leftist-tree-sort.lisp
M books/projects/leftist-trees/leftist-trees-xdoc.lisp
M books/projects/leftist-trees/top.lisp

Log Message:
-----------
Changing license of leftist-trees, with permission from Ben Selfridge. Fixes #336


Compare: https://github.com/acl2/acl2/compare/6d427ea86538...fb8e2f862174