|
|
Sponsored Content
Top Forums
Web Development
Notes with Ravinder on Badging System Development Part II
Post 303028212 by Neo on Wednesday 2nd of January 2019 07:03:52 AM
|
|
3 More Discussions You Might Find Interesting
1. What is on Your Mind?
Today I mapped out the new badging system using FA icons, Beta 1 in no particular order except a 6 x 8 grid:
https://www.unix.com/members/1-albums215-picture991.png
The prototype HTML code for this layout:
<style>
.fa-badge-grid {
font-size: 1.5em;
}
.row {
... (38 Replies)
Discussion started by: Neo
38 Replies
2. What is on Your Mind?
Dear All,
Here is the current status of the badging system:
The Beta 1 phase of the new badging system is close to completion.
42 prototype badges have been "allocated"
6 prototype badge slots are held in reserve
The "alert you have new badges" prototype is running and is currently... (4 Replies)
Discussion started by: Neo
4 Replies
3. What is on Your Mind?
I have moved the bug badge out of reserve and into the main stream. Basically, I will assign a color level like the others, based on who has made a good actionable bug report for UNIX.COM. "Good" means screenshots, links, and even details from web dev tools our the HTML source code. So far,... (0 Replies)
Discussion started by: Neo
0 Replies
LEARN ABOUT DEBIAN
hol-light
HOL-LIGHT(1) General Commands Manual HOL-LIGHT(1) NAME
hol-light - HOL Light interactive theorem prover SYNOPSIS
hol-light [options...] DESCRIPTION
The command hol-light is a simple wrapper for calling ocaml and loading the HOL Light basic definitions (by loading /usr/share/hol- light/hol.ml instead of .ocamlinit as initialization file). Loading these definitions takes about 2 minutes on modern hardware, please be patient. All options and other arguments are passed as options to ocaml. If you have a readline-editor such as rlwrap, ledit or rlfe installed, the hol-light ocaml toplevel is wrapped in readline-editor. Install just one of these readline editors or configure your preferred one via the alternative system. SEE ALSO
ocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1) HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/ AUTHOR
The hol-light script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may be used by others). March 16, 2012 HOL-LIGHT(1)