I was unable to get Atom to produce a readable .txt file.
@AlbertRich OK, I'm off to bed now. rulebasedintegration.org is registered now and works here, but it might take some days before all DNS are updated and it works from everywhere.
@AlbertRich If you have some time and like to do some work, you can edit the index.md and include all information that should go into the one-page Rubi website. I can help and fix links and formatting later.
For README.txt I opened README.md in Atom, copied the preview image into the clipboard, pasted the image into WordPad instead of NotePad which preserved the newlines, manually added the indentation, and saved it as a txt file. Not all that hard.
Next up is the test files in 4 different syntaxes?
So on Linux and Mac for instance, I can simply unzip it wherever I like and I can be assured that the directory (e.g. my downloads folder) is not filled with millions of files.
@AlbertRich Btw, look how Rubi could solve an integral much better than Mathematica https://mathematica.stackexchange.com/a/175452/187
@AlbertRich And I have another question: The integral sign that you used for the icon, where did you get this. It's not LaTeX. It is more round and not as slender as the LaTeX version.
@halirutan I would like to change "An extensive set of symbolic integration rules" to "An extensive system of symbolic integration rules" to suggest that Rubi is not just an ad hoc collection of rules, but is based on an integrated system of rules able to integrate large, well-defined classes of expressions.
@AlbertRich Did it for you (I wasn't sure where exactly this phrase was used)
@AlbertRich It is in the settings of the organization here https://github.com/organizations/RuleBasedIntegration/settings/profile
I figured that a 1-page layout might be too sparse. Therefore, I have made a menu-bar. The buttons for the package, rules, and (later) tests link currently directly to the repositories, because the repositories themselves have a large README that is instantly displayed.
But if you think we should make a small page for them on the website that explains some stuff and link from there to the repository, that would also work.
You "Vision" page sounds at the moment a bit too personal for my taste. There is a lot of good information, but maybe we can pull your personal information (eg, what you worked on) to the "About" section and make statements like "I am convinced.." a bit more object ("We believe"?).
I'm not entirely sure about this, but it feels to me that for your personal Rubi site this is perfectly fine, but for an organisation page with (hopefully) many collaborators, we should reword some things. What is your opinion about this?
@AlbertRich In any case, in the website repo you find now the files
index.md (the home site), vision.md, and about.md and if you have some time, you can edit them and add content.
@AlbertRich I think it is fine that way. I started copying the Vision from your original site and made changes on the way, but then I though it is really for you to decide and I shouldn't simply edit your thoughts. That's why I brought it up. And then I remembered you had created a similar page for the Wiki.
@halirutan You wrote:
But if you think we should make a small page for them on the website that explains some stuff and link from there to the repository, that would also work.
Yes, as on Rubi's old website, clicking on the "Integration Rules" menu option should lead to another website page with the text at the beginning of the current README.md file and a menu-bar with the options: "Algebraic", "Exponential", "Log", "Trig", "Inverse Trig", "Hyperbolic", "Inverse Hyperbolic", "Special Functions", and "Miscellaneous".