Каширин И.Ю.
At the top of this page, you can see live demonstration of Top Menu. 
Top Menu allows you to arrange menu items in horizontal line and assign icons to them. All icons are configured directly in menu item settings page which is very convenient.
You can choose up to 20 predefined icons to menu item.
To set up icons, you need to go to menu item settings and add symbol combination icon-xxx to menu item's parameter Link CSS Style, where xxx is the icon name.
The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming language. To get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.
If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing variables.
Igor Kashirin, 9 Ryumin Grove 
Ryazan region, 390005, RF
